Static probabilistic timing analysis for real-time systems using random replacement caches

TitleStatic probabilistic timing analysis for real-time systems using random replacement caches
Publication TypeJournal Article
Year of Publication2015
AuthorsAltmeyer, S, Cucu-Grosjean, L, Davis, R
Secondary TitleReal-Time Systems
Volume51
Pagination77-123
PublisherSpringer US
ISSN Number0922-6443
KeywordsRandom cache replacement, Static probabilistic timing analysis, Timing verification, WCET analysis
URLhttp://dx.doi.org/10.1007/s11241-014-9218-4
DOI10.1007/s11241-014-9218-4
Citation Key13082