TY - RPRT TI - Fast and exact analysis for LRU caches AU - Claire Maïza AU - Valentin Touzeau AU - David Monniaux AU - Jan Reineke PY - 2018 UR - https://arxiv.org/abs/1811.01670 ID - 1811.01670 ER -