On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs

From MaRDI portal
Publication:1645219