FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205892009> ?p ?o ?g. }

• W3205892009 endingPage "23" @default.
• W3205892009 startingPage "1" @default.
• W3205892009 abstract "Being able to detect program runtime complexity is useful in many tasks (e.g., checking expected performance and identifying potential security vulnerabilities). In this work, we introduce a new dynamic approach for inferring the asymptotic complexity bounds of recursive programs. From program execution traces, we learn recurrence relations and solve them using pattern matching to obtain closed-form solutions representing the complexity bounds of the program. This approach allows us to efficiently infer simple recurrence relations that represent nontrivial, potentially nonlinear polynomial and non-polynomial, complexity bounds. We present Dynaplex, a tool that implements these ideas to automatically generate recurrence relations from execution traces. Our preliminary results on popular and challenging recursive programs show that Dynaplex can learn precise relations capturing worst-case complexity bounds (e.g., O ( n log n ) for mergesort, O (2 n ) for Tower of Hanoi and O ( n 1.58 ) for Karatsuba’s multiplication algorithm)." @default.
• W3205892009 created "2021-10-25" @default.
• W3205892009 creator A5004815005 @default.
• W3205892009 creator A5059181444 @default.
• W3205892009 creator A5069411288 @default.
• W3205892009 date "2021-10-15" @default.
• W3205892009 modified "2023-09-24" @default.
• W3205892009 title "Dynaplex: analyzing program complexity using dynamically inferred recurrence relations" @default.
• W3205892009 cites W1230660382 @default.
• W3205892009 cites W1492171827 @default.
• W3205892009 cites W1514171102 @default.
• W3205892009 cites W1563352283 @default.
• W3205892009 cites W1636902686 @default.
• W3205892009 cites W2076833152 @default.
• W3205892009 cites W2107588378 @default.
• W3205892009 cites W2110908283 @default.
• W3205892009 cites W2120647256 @default.
• W3205892009 cites W2137062096 @default.
• W3205892009 cites W2159586681 @default.
• W3205892009 cites W2293085049 @default.
• W3205892009 cites W2398327122 @default.
• W3205892009 cites W2461846980 @default.
• W3205892009 cites W2522017073 @default.
• W3205892009 cites W2577171054 @default.
• W3205892009 cites W2741361950 @default.
• W3205892009 cites W2752340395 @default.
• W3205892009 cites W2763435855 @default.
• W3205892009 cites W2865298191 @default.
• W3205892009 cites W2899568449 @default.
• W3205892009 cites W2900015620 @default.
• W3205892009 cites W2907655115 @default.
• W3205892009 cites W2955879452 @default.
• W3205892009 cites W2980978064 @default.
• W3205892009 cites W2997024788 @default.
• W3205892009 cites W2998897849 @default.
• W3205892009 cites W3009765366 @default.
• W3205892009 cites W3012896203 @default.
• W3205892009 cites W3027678148 @default.
• W3205892009 cites W3033229382 @default.
• W3205892009 cites W3037295748 @default.
• W3205892009 cites W3095876555 @default.
• W3205892009 cites W3099878876 @default.
• W3205892009 cites W3108936444 @default.
• W3205892009 cites W3140308147 @default.
• W3205892009 cites W4237087841 @default.
• W3205892009 cites W4240835555 @default.
• W3205892009 cites W4249819097 @default.
• W3205892009 cites W4252150051 @default.
• W3205892009 cites W4254838945 @default.
• W3205892009 cites W4256386389 @default.
• W3205892009 doi "https://doi.org/10.1145/3485515" @default.
• W3205892009 hasPublicationYear "2021" @default.
• W3205892009 type Work @default.
• W3205892009 sameAs 3205892009 @default.
• W3205892009 citedByCount "2" @default.
• W3205892009 countsByYear W32058920092022 @default.
• W3205892009 countsByYear W32058920092023 @default.
• W3205892009 crossrefType "journal-article" @default.
• W3205892009 hasAuthorship W3205892009A5004815005 @default.
• W3205892009 hasAuthorship W3205892009A5059181444 @default.
• W3205892009 hasAuthorship W3205892009A5069411288 @default.
• W3205892009 hasBestOaLocation W32058920091 @default.
• W3205892009 hasConcept C105795698 @default.
• W3205892009 hasConcept C111472728 @default.
• W3205892009 hasConcept C11413529 @default.
• W3205892009 hasConcept C114614502 @default.
• W3205892009 hasConcept C134306372 @default.
• W3205892009 hasConcept C138885662 @default.
• W3205892009 hasConcept C165064840 @default.
• W3205892009 hasConcept C179799912 @default.
• W3205892009 hasConcept C201292218 @default.
• W3205892009 hasConcept C2780586882 @default.
• W3205892009 hasConcept C2780595030 @default.
• W3205892009 hasConcept C311688 @default.
• W3205892009 hasConcept C33923547 @default.
• W3205892009 hasConcept C39637292 @default.
• W3205892009 hasConcept C41008148 @default.
• W3205892009 hasConcept C80444323 @default.
• W3205892009 hasConcept C90119067 @default.
• W3205892009 hasConceptScore W3205892009C105795698 @default.
• W3205892009 hasConceptScore W3205892009C111472728 @default.
• W3205892009 hasConceptScore W3205892009C11413529 @default.
• W3205892009 hasConceptScore W3205892009C114614502 @default.
• W3205892009 hasConceptScore W3205892009C134306372 @default.
• W3205892009 hasConceptScore W3205892009C138885662 @default.
• W3205892009 hasConceptScore W3205892009C165064840 @default.
• W3205892009 hasConceptScore W3205892009C179799912 @default.
• W3205892009 hasConceptScore W3205892009C201292218 @default.
• W3205892009 hasConceptScore W3205892009C2780586882 @default.
• W3205892009 hasConceptScore W3205892009C2780595030 @default.
• W3205892009 hasConceptScore W3205892009C311688 @default.
• W3205892009 hasConceptScore W3205892009C33923547 @default.
• W3205892009 hasConceptScore W3205892009C39637292 @default.
• W3205892009 hasConceptScore W3205892009C41008148 @default.
• W3205892009 hasConceptScore W3205892009C80444323 @default.
• W3205892009 hasConceptScore W3205892009C90119067 @default.
• W3205892009 hasFunder F4320306076 @default.
• W3205892009 hasFunder F4320338281 @default.

• next