Matches in SemOpenAlex for { <https://semopenalex.org/work/W2210379581> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2210379581 abstract "Given a program and a time deadline, does the program finish before the deadline when executed on a given platform? With the requirement to produce a test case when such a violation can occur, we refer to this problem as the worst-case execution-time testing (WCETT) problem. In this paper, we present an approach for solving the WCETT problem for loop-free programs by timing the execution of a program on a small number of carefully calculated inputs. We then create a sequence of integer linear programs the solutions of which encode the best timing model consistent with the measurements. By solving the programs we can find the worst-case input as well as estimate execution time of any other input. Our solution is more accurate than previous approaches and, unlikely previous work, by increasing the number of measurements we can produce WCETT bounds up to any desired accuracy. Timing of a program depends on the properties of the platform it executes on. We further show how our approach can be used to quantify the timing repeatability of the underlying platform." @default.
- W2210379581 created "2016-06-24" @default.
- W2210379581 creator A5017201553 @default.
- W2210379581 creator A5064230639 @default.
- W2210379581 date "2015-06-19" @default.
- W2210379581 modified "2023-09-27" @default.
- W2210379581 title "On Systematic Testing for Execution-Time Analysis." @default.
- W2210379581 cites W2052279347 @default.
- W2210379581 hasPublicationYear "2015" @default.
- W2210379581 type Work @default.
- W2210379581 sameAs 2210379581 @default.
- W2210379581 citedByCount "0" @default.
- W2210379581 crossrefType "posted-content" @default.
- W2210379581 hasAuthorship W2210379581A5017201553 @default.
- W2210379581 hasAuthorship W2210379581A5064230639 @default.
- W2210379581 hasConcept C104317684 @default.
- W2210379581 hasConcept C149635348 @default.
- W2210379581 hasConcept C173608175 @default.
- W2210379581 hasConcept C185592680 @default.
- W2210379581 hasConcept C199360897 @default.
- W2210379581 hasConcept C200130814 @default.
- W2210379581 hasConcept C2778112365 @default.
- W2210379581 hasConcept C2989134064 @default.
- W2210379581 hasConcept C41008148 @default.
- W2210379581 hasConcept C54355233 @default.
- W2210379581 hasConcept C55493867 @default.
- W2210379581 hasConcept C66746571 @default.
- W2210379581 hasConcept C79403827 @default.
- W2210379581 hasConcept C86803240 @default.
- W2210379581 hasConcept C93682380 @default.
- W2210379581 hasConcept C97137487 @default.
- W2210379581 hasConceptScore W2210379581C104317684 @default.
- W2210379581 hasConceptScore W2210379581C149635348 @default.
- W2210379581 hasConceptScore W2210379581C173608175 @default.
- W2210379581 hasConceptScore W2210379581C185592680 @default.
- W2210379581 hasConceptScore W2210379581C199360897 @default.
- W2210379581 hasConceptScore W2210379581C200130814 @default.
- W2210379581 hasConceptScore W2210379581C2778112365 @default.
- W2210379581 hasConceptScore W2210379581C2989134064 @default.
- W2210379581 hasConceptScore W2210379581C41008148 @default.
- W2210379581 hasConceptScore W2210379581C54355233 @default.
- W2210379581 hasConceptScore W2210379581C55493867 @default.
- W2210379581 hasConceptScore W2210379581C66746571 @default.
- W2210379581 hasConceptScore W2210379581C79403827 @default.
- W2210379581 hasConceptScore W2210379581C86803240 @default.
- W2210379581 hasConceptScore W2210379581C93682380 @default.
- W2210379581 hasConceptScore W2210379581C97137487 @default.
- W2210379581 hasLocation W22103795811 @default.
- W2210379581 hasOpenAccess W2210379581 @default.
- W2210379581 hasPrimaryLocation W22103795811 @default.
- W2210379581 hasRelatedWork W1515991251 @default.
- W2210379581 hasRelatedWork W1538198886 @default.
- W2210379581 hasRelatedWork W2108869959 @default.
- W2210379581 hasRelatedWork W2134197352 @default.
- W2210379581 hasRelatedWork W2153747125 @default.
- W2210379581 hasRelatedWork W2291081441 @default.
- W2210379581 hasRelatedWork W2537786014 @default.
- W2210379581 hasRelatedWork W2625867010 @default.
- W2210379581 hasRelatedWork W2741795091 @default.
- W2210379581 hasRelatedWork W2804790596 @default.
- W2210379581 hasRelatedWork W2807121789 @default.
- W2210379581 hasRelatedWork W2888336873 @default.
- W2210379581 hasRelatedWork W2897601682 @default.
- W2210379581 hasRelatedWork W2900318490 @default.
- W2210379581 hasRelatedWork W3128625398 @default.
- W2210379581 hasRelatedWork W3136942658 @default.
- W2210379581 hasRelatedWork W329884190 @default.
- W2210379581 hasRelatedWork W405901815 @default.
- W2210379581 hasRelatedWork W1821437 @default.
- W2210379581 hasRelatedWork W2610727466 @default.
- W2210379581 isParatext "false" @default.
- W2210379581 isRetracted "false" @default.
- W2210379581 magId "2210379581" @default.
- W2210379581 workType "article" @default.