Maïza, Claire
- Fast and exact analysis for LRU caches
2018/11/05 by Claire Maïza, Maïza, Claire, Valentin Touzeau +5 · 2 citations
Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Real-Time Systems Scheduling #Security and Verification in Computing