Timing predictability of cache replacement policies
From MaRDI portal
Publication:2460197
DOI10.1007/S11241-007-9032-3zbMATH Open1125.68422OpenAlexW1979470295MaRDI QIDQ2460197FDOQ2460197
Christoph Berg, Reinhard Wilhelm, Jan Reineke, Daniel Grund
Publication date: 14 November 2007
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-007-9032-3
Cites Work
Cited In (7)
- Impact of DM-LRU on WCET: A Static Analysis Approach
- Data cache organization for accurate timing analysis
- Memory-centric scheduling for multicore hard real-time systems
- Scalable and precise refinement of cache timing analysis via path-sensitive verification
- On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
- Caching with time windows
- Abstract Interpretation of FIFO Replacement
Uses Software
Recommendations
- Abstract Interpretation of FIFO Replacement π π
- On the Complexity of Cache Analysis for Different Replacement Policies π π
- Static probabilistic timing analysis for real-time systems using random replacement caches π π
- On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs π π
- Formal Methods for Components and Objects π π
This page was built for publication: Timing predictability of cache replacement policies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2460197)