The Semantic Foundations and a Landscape of Cache-Persistence Analyses
We clarify the notion of cache persistence and contribute to the understanding of persistence analysis for caches with least-recently-used replacement.To this end, we provide the first formal definition of persistence as a property of a trace semantics. Based on this trace semantics we introduce a s...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2018-05-01
|
| Reeks: | Leibniz Transactions on Embedded Systems |
| Onderwerpen: | |
| Online toegang: | https://drops.dagstuhl.de/storage/07lites/lites_vol005/lites_vol005_issue001/LITES-v005-i001-a003/LITES-v005-i001-a003.pdf |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|