Poster un nouveau message
En réponse à :
Complexité de l’analyse du cache
par
Laurent Bloch
le mercredi 12 février 2020
le mercredi 12 février 2020
En octobre 2018 David Monniaux, chercheur au laboratoire Verimag du CNRS à Grenoble, évoquait sur son fil Twitter son travail de recherche sur la complexité de l’analyse du cache. Curieux du sujet, je lui demandai des détails, il me fit parvenir un article en cours de rédaction à l’époque, désormais consultable sur arXiv, On the complexity of cache analysis for different replacement policies. La lecture en était assez ardue, aussi lorsqu’il annonça, toujours sur son fil Twitter, qu’il (…)