Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984065007> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1984065007 endingPage "170" @default.
- W1984065007 startingPage "155" @default.
- W1984065007 abstract "As real-time systems increase in complexity to provide more and more functionality and perform more demanding computations, the problem of statically analyzing the Worst-Case Execution Time (WCET) bound of real-time programs is becoming more and more time-consuming and imprecise. The problem stems from the fact that with increasing program size, the number of potentially relevant program and hardware states that need to be considered during WCET analysis increases as well. However, only a relatively small portion of the program actually contributes to the final WCET bound. Large parts of the program are thus irrelevant and are analyzed in vain. In the best case this only leads to increased analysis time. Very often, however, the analysis of irrelevant program parts interferes with the analysis of those program parts that turn out to be relevant. We explore a novel technique based on graph pruning that promises to reduce the analysis overhead and, at the same time, increase the analysis’ precision. The basic idea is to eliminate those program parts from the analysis problem that are known to be irrelevant for the final WCET bound. This reduces the analysis overhead, since only a subset of the program and hardware states have to be tracked. Consequently, more aggressive analysis techniques may be applied, effectively reducing the overestimation of the WCET. As a side-effect, interference from irrelevant program parts is eliminated, e.g., on addresses of memory accesses, on loop bounds, or on the cache or processor state. First experiments using a commercial WCET analysis tool show that our approach is feasible in practice and leads to reductions of up to 12% when a standard IPET approach is used for the analysis." @default.
- W1984065007 created "2016-06-24" @default.
- W1984065007 creator A5009450149 @default.
- W1984065007 creator A5050579195 @default.
- W1984065007 date "2014-10-01" @default.
- W1984065007 modified "2023-09-25" @default.
- W1984065007 title "Refinement of worst-case execution time bounds by graph pruning" @default.
- W1984065007 cites W130093281 @default.
- W1984065007 cites W1504482794 @default.
- W1984065007 cites W1534602475 @default.
- W1984065007 cites W1553894716 @default.
- W1984065007 cites W1595437973 @default.
- W1984065007 cites W1634597503 @default.
- W1984065007 cites W1987142766 @default.
- W1984065007 cites W2002265797 @default.
- W1984065007 cites W2006053872 @default.
- W1984065007 cites W2043100293 @default.
- W1984065007 cites W2044870852 @default.
- W1984065007 cites W2057152941 @default.
- W1984065007 cites W2068575030 @default.
- W1984065007 cites W2069383194 @default.
- W1984065007 cites W2081347108 @default.
- W1984065007 cites W2083801813 @default.
- W1984065007 cites W2128467905 @default.
- W1984065007 cites W2138952175 @default.
- W1984065007 cites W2316001766 @default.
- W1984065007 cites W2913256667 @default.
- W1984065007 doi "https://doi.org/10.1016/j.cl.2014.09.001" @default.
- W1984065007 hasPublicationYear "2014" @default.
- W1984065007 type Work @default.
- W1984065007 sameAs 1984065007 @default.
- W1984065007 citedByCount "0" @default.
- W1984065007 crossrefType "journal-article" @default.
- W1984065007 hasAuthorship W1984065007A5009450149 @default.
- W1984065007 hasAuthorship W1984065007A5050579195 @default.
- W1984065007 hasConcept C108010975 @default.
- W1984065007 hasConcept C11413529 @default.
- W1984065007 hasConcept C115537543 @default.
- W1984065007 hasConcept C132525143 @default.
- W1984065007 hasConcept C134306372 @default.
- W1984065007 hasConcept C149635348 @default.
- W1984065007 hasConcept C173608175 @default.
- W1984065007 hasConcept C199360897 @default.
- W1984065007 hasConcept C200130814 @default.
- W1984065007 hasConcept C2779960059 @default.
- W1984065007 hasConcept C2989134064 @default.
- W1984065007 hasConcept C33923547 @default.
- W1984065007 hasConcept C41008148 @default.
- W1984065007 hasConcept C6557445 @default.
- W1984065007 hasConcept C77553402 @default.
- W1984065007 hasConcept C80444323 @default.
- W1984065007 hasConcept C86803240 @default.
- W1984065007 hasConcept C93682380 @default.
- W1984065007 hasConcept C97686452 @default.
- W1984065007 hasConcept C98183937 @default.
- W1984065007 hasConceptScore W1984065007C108010975 @default.
- W1984065007 hasConceptScore W1984065007C11413529 @default.
- W1984065007 hasConceptScore W1984065007C115537543 @default.
- W1984065007 hasConceptScore W1984065007C132525143 @default.
- W1984065007 hasConceptScore W1984065007C134306372 @default.
- W1984065007 hasConceptScore W1984065007C149635348 @default.
- W1984065007 hasConceptScore W1984065007C173608175 @default.
- W1984065007 hasConceptScore W1984065007C199360897 @default.
- W1984065007 hasConceptScore W1984065007C200130814 @default.
- W1984065007 hasConceptScore W1984065007C2779960059 @default.
- W1984065007 hasConceptScore W1984065007C2989134064 @default.
- W1984065007 hasConceptScore W1984065007C33923547 @default.
- W1984065007 hasConceptScore W1984065007C41008148 @default.
- W1984065007 hasConceptScore W1984065007C6557445 @default.
- W1984065007 hasConceptScore W1984065007C77553402 @default.
- W1984065007 hasConceptScore W1984065007C80444323 @default.
- W1984065007 hasConceptScore W1984065007C86803240 @default.
- W1984065007 hasConceptScore W1984065007C93682380 @default.
- W1984065007 hasConceptScore W1984065007C97686452 @default.
- W1984065007 hasConceptScore W1984065007C98183937 @default.
- W1984065007 hasFunder F4320321181 @default.
- W1984065007 hasIssue "3-4" @default.
- W1984065007 hasLocation W19840650071 @default.
- W1984065007 hasLocation W19840650072 @default.
- W1984065007 hasLocation W19840650073 @default.
- W1984065007 hasOpenAccess W1984065007 @default.
- W1984065007 hasPrimaryLocation W19840650071 @default.
- W1984065007 hasRelatedWork W136631479 @default.
- W1984065007 hasRelatedWork W1546794633 @default.
- W1984065007 hasRelatedWork W1547140629 @default.
- W1984065007 hasRelatedWork W1590639119 @default.
- W1984065007 hasRelatedWork W2361454369 @default.
- W1984065007 hasRelatedWork W2388143035 @default.
- W1984065007 hasRelatedWork W2393506321 @default.
- W1984065007 hasRelatedWork W4237411287 @default.
- W1984065007 hasRelatedWork W939370856 @default.
- W1984065007 hasRelatedWork W2495842201 @default.
- W1984065007 hasVolume "40" @default.
- W1984065007 isParatext "false" @default.
- W1984065007 isRetracted "false" @default.
- W1984065007 magId "1984065007" @default.
- W1984065007 workType "article" @default.