FRINK Linked Data Fragments server

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

• W2973138833 abstract "Cache persistence analysis is an important part of worst-case execution time (WCET) analysis. It has been extensively studied in the past twenty years. Despite these efforts, all existing persistence analyses are approximative in the sense that they are not guaranteed to find all persistent memory blocks. In this paper, we close this gap by introducing the first exact persistence analysis for caches with least-recently-used (LRU) replacement. To this end, we first introduce an exact abstraction that exploits monotonicity properties of LRU to significantly reduce the information the analysis needs to maintain for exact persistence classifications. We show how to efficiently implement this abstraction using zero-suppressed binary decision diagrams (ZDDs) and introduce novel techniques to deal with uncertainty that arises during the analysis of data caches. The experimental evaluation demonstrates that the new exact analysis is competitive with state-of-the-art inexact analyses in terms of both memory consumption and analysis run time, which is somewhat surprising as we show that persistence analysis is NP-complete. We also observe that while prior analyses are not exact in theory they come close to being exact in practice." @default.
• W2973138833 created "2019-09-19" @default.
• W2973138833 creator A5041348747 @default.
• W2973138833 creator A5056396265 @default.
• W2973138833 creator A5084397015 @default.
• W2973138833 date "2019-09-10" @default.
• W2973138833 modified "2023-09-27" @default.
• W2973138833 title "Cache Persistence Analysis: Finally Exact" @default.
• W2973138833 cites W1483989344 @default.
• W2973138833 cites W1484206933 @default.
• W2973138833 cites W1499210710 @default.
• W2973138833 cites W1515906028 @default.
• W2973138833 cites W1526802711 @default.
• W2973138833 cites W1533929374 @default.
• W2973138833 cites W1545320146 @default.
• W2973138833 cites W1550114268 @default.
• W2973138833 cites W1584428153 @default.
• W2973138833 cites W1874478398 @default.
• W2973138833 cites W1979470295 @default.
• W2973138833 cites W1996970189 @default.
• W2973138833 cites W2014764321 @default.
• W2973138833 cites W2043100293 @default.
• W2973138833 cites W2046003643 @default.
• W2973138833 cites W2076285066 @default.
• W2973138833 cites W2088917683 @default.
• W2973138833 cites W2098030406 @default.
• W2973138833 cites W2101980589 @default.
• W2973138833 cites W2138952175 @default.
• W2973138833 cites W2149052625 @default.
• W2973138833 cites W2170641010 @default.
• W2973138833 cites W2511362782 @default.
• W2973138833 cites W2577141201 @default.
• W2973138833 cites W2798555189 @default.
• W2973138833 cites W2888965070 @default.
• W2973138833 cites W2898936252 @default.
• W2973138833 cites W2910249995 @default.
• W2973138833 cites W3147851186 @default.
• W2973138833 cites W34381828 @default.
• W2973138833 cites W2555206998 @default.
• W2973138833 hasPublicationYear "2019" @default.
• W2973138833 type Work @default.
• W2973138833 sameAs 2973138833 @default.
• W2973138833 citedByCount "0" @default.
• W2973138833 crossrefType "posted-content" @default.
• W2973138833 hasAuthorship W2973138833A5041348747 @default.
• W2973138833 hasAuthorship W2973138833A5056396265 @default.
• W2973138833 hasAuthorship W2973138833A5084397015 @default.
• W2973138833 hasConcept C111472728 @default.
• W2973138833 hasConcept C115537543 @default.
• W2973138833 hasConcept C124304363 @default.
• W2973138833 hasConcept C127413603 @default.
• W2973138833 hasConcept C134306372 @default.
• W2973138833 hasConcept C138885662 @default.
• W2973138833 hasConcept C165696696 @default.
• W2973138833 hasConcept C173608175 @default.
• W2973138833 hasConcept C187320778 @default.
• W2973138833 hasConcept C189783530 @default.
• W2973138833 hasConcept C2781009140 @default.
• W2973138833 hasConcept C3309909 @default.
• W2973138833 hasConcept C33923547 @default.
• W2973138833 hasConcept C38556500 @default.
• W2973138833 hasConcept C38652104 @default.
• W2973138833 hasConcept C41008148 @default.
• W2973138833 hasConcept C72169020 @default.
• W2973138833 hasConcept C80444323 @default.
• W2973138833 hasConceptScore W2973138833C111472728 @default.
• W2973138833 hasConceptScore W2973138833C115537543 @default.
• W2973138833 hasConceptScore W2973138833C124304363 @default.
• W2973138833 hasConceptScore W2973138833C127413603 @default.
• W2973138833 hasConceptScore W2973138833C134306372 @default.
• W2973138833 hasConceptScore W2973138833C138885662 @default.
• W2973138833 hasConceptScore W2973138833C165696696 @default.
• W2973138833 hasConceptScore W2973138833C173608175 @default.
• W2973138833 hasConceptScore W2973138833C187320778 @default.
• W2973138833 hasConceptScore W2973138833C189783530 @default.
• W2973138833 hasConceptScore W2973138833C2781009140 @default.
• W2973138833 hasConceptScore W2973138833C3309909 @default.
• W2973138833 hasConceptScore W2973138833C33923547 @default.
• W2973138833 hasConceptScore W2973138833C38556500 @default.
• W2973138833 hasConceptScore W2973138833C38652104 @default.
• W2973138833 hasConceptScore W2973138833C41008148 @default.
• W2973138833 hasConceptScore W2973138833C72169020 @default.
• W2973138833 hasConceptScore W2973138833C80444323 @default.
• W2973138833 hasLocation W29731388331 @default.
• W2973138833 hasOpenAccess W2973138833 @default.
• W2973138833 hasPrimaryLocation W29731388331 @default.
• W2973138833 hasRelatedWork W1591135906 @default.
• W2973138833 hasRelatedWork W1748778977 @default.
• W2973138833 hasRelatedWork W1984231426 @default.
• W2973138833 hasRelatedWork W2122491152 @default.
• W2973138833 hasRelatedWork W2157457978 @default.
• W2973138833 hasRelatedWork W2200297111 @default.
• W2973138833 hasRelatedWork W2335794930 @default.
• W2973138833 hasRelatedWork W2468486877 @default.
• W2973138833 hasRelatedWork W2547887815 @default.
• W2973138833 hasRelatedWork W2894883447 @default.
• W2973138833 hasRelatedWork W2898895592 @default.
• W2973138833 hasRelatedWork W2902519619 @default.
• W2973138833 hasRelatedWork W2953161186 @default.
• W2973138833 hasRelatedWork W3014555390 @default.

• next