Matches in SemOpenAlex for { <https://semopenalex.org/work/W3035488873> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W3035488873 abstract "Bounding the Worst-Case Execution Time (WCET) of real-time software requires precise knowledge about the reachable program and hardware states that might be observed at runtime. The analysis of precise cache states is particularly important and challenging. Due to the high cost of cache misses the analysis precision may have an important impact on the obtainable WCET bounds, while the large state space of the cache's history leads to high analysis complexity. This work explores the use of cache summaries in order to optimize the computation of precise cache states. These cache summaries allow us to pre-compute the impact of executing a portion of a program, typically a function, on the cache state. This allows us, for instance, to skip the analysis of entire functions (including nested function calls) when the cache states within these functions are not relevant for the classification of memory accesses into hits/misses. Furthermore, the summaries can be extended to efficiently compute fully context-sensitive cache states. The summaries then not only allow to derive typical cache hit/miss classifications, but also provide fully context-sensitive cache persistence information." @default.
- W3035488873 created "2020-06-19" @default.
- W3035488873 creator A5009450149 @default.
- W3035488873 creator A5076793466 @default.
- W3035488873 date "2020-06-09" @default.
- W3035488873 modified "2023-10-01" @default.
- W3035488873 title "Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets" @default.
- W3035488873 cites W1521356350 @default.
- W3035488873 cites W1533929374 @default.
- W3035488873 cites W1874478398 @default.
- W3035488873 cites W1978440202 @default.
- W3035488873 cites W1985354156 @default.
- W3035488873 cites W2006053872 @default.
- W3035488873 cites W2043100293 @default.
- W3035488873 cites W2043284801 @default.
- W3035488873 cites W2046003643 @default.
- W3035488873 cites W2098030406 @default.
- W3035488873 cites W2158295626 @default.
- W3035488873 cites W2163742821 @default.
- W3035488873 cites W2170641010 @default.
- W3035488873 cites W2316001766 @default.
- W3035488873 cites W2613442617 @default.
- W3035488873 cites W2898936252 @default.
- W3035488873 cites W2910249995 @default.
- W3035488873 doi "https://doi.org/10.1145/3394810.3394811" @default.
- W3035488873 hasPublicationYear "2020" @default.
- W3035488873 type Work @default.
- W3035488873 sameAs 3035488873 @default.
- W3035488873 citedByCount "1" @default.
- W3035488873 countsByYear W30354888732021 @default.
- W3035488873 crossrefType "proceedings-article" @default.
- W3035488873 hasAuthorship W3035488873A5009450149 @default.
- W3035488873 hasAuthorship W3035488873A5076793466 @default.
- W3035488873 hasConcept C115537543 @default.
- W3035488873 hasConcept C127313418 @default.
- W3035488873 hasConcept C151730666 @default.
- W3035488873 hasConcept C173608175 @default.
- W3035488873 hasConcept C2779343474 @default.
- W3035488873 hasConcept C41008148 @default.
- W3035488873 hasConceptScore W3035488873C115537543 @default.
- W3035488873 hasConceptScore W3035488873C127313418 @default.
- W3035488873 hasConceptScore W3035488873C151730666 @default.
- W3035488873 hasConceptScore W3035488873C173608175 @default.
- W3035488873 hasConceptScore W3035488873C2779343474 @default.
- W3035488873 hasConceptScore W3035488873C41008148 @default.
- W3035488873 hasLocation W30354888731 @default.
- W3035488873 hasLocation W30354888732 @default.
- W3035488873 hasOpenAccess W3035488873 @default.
- W3035488873 hasPrimaryLocation W30354888731 @default.
- W3035488873 hasRelatedWork W1484089092 @default.
- W3035488873 hasRelatedWork W1558545464 @default.
- W3035488873 hasRelatedWork W1571368810 @default.
- W3035488873 hasRelatedWork W1579918296 @default.
- W3035488873 hasRelatedWork W2372170743 @default.
- W3035488873 hasRelatedWork W2379400621 @default.
- W3035488873 hasRelatedWork W2390922181 @default.
- W3035488873 hasRelatedWork W2808189470 @default.
- W3035488873 hasRelatedWork W3003912857 @default.
- W3035488873 hasRelatedWork W2506225776 @default.
- W3035488873 isParatext "false" @default.
- W3035488873 isRetracted "false" @default.
- W3035488873 magId "3035488873" @default.
- W3035488873 workType "article" @default.