Resilient random modulo cache memories for probabilistically-analyzable real-time systems | Publicación