Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2022
The complexity gap in the static analysis of cache accesses grows if procedure calls are added
Formal Methods in System Design (FMSD), Volume 59, Issue 1-3Pages 1–20https://doi.org/10.1007/s10703-022-00392-wAbstractThe static analysis of cache accesses consists in correctly predicting which accesses are hits or misses. While there exist good exact and approximate analyses for caches implementing the least recently used (LRU) replacement policy, such analyses ...
- research-articleJune 2013
Reuse-based online models for caches
SIGMETRICS '13: Proceedings of the ACM SIGMETRICS/international conference on Measurement and modeling of computer systemsPages 279–292https://doi.org/10.1145/2465529.2465756We develop a reuse distance/stack distance based analytical modeling framework for efficient, online prediction of cache performance for a range of cache configurations and replacement policies LRU, PLRU, RANDOM, NMRU. Our framework unifies existing ...
Also Published in:
ACM SIGMETRICS Performance Evaluation Review: Volume 41 Issue 1