Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

5 résultats
Page :
triés par
Image document

Fast and exact analysis for LRU caches

 Claire Maïza , Valentin Touzeau , David Monniaux , Jan Reineke
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), ⟨10.1145/3290367⟩
Article dans une revue hal-01908648v2
Image document

On the complexity of cache analysis for different replacement policies

 David Monniaux , Valentin Touzeau
Journal of the ACM (JACM), 2019, 66 (6), pp.41. ⟨10.1145/3366018⟩
Article dans une revue hal-01910216v3
Image document

Model Checking of Cache for WCET Analysis Refinement

 Valentin Touzeau , Claire Maïza , David Monniaux
10th Junior Researcher Workshop on Real-Time Computing, Oct 2016, Brest, France
Communication dans un congrès hal-01447930v2
Image document

Ascertaining Uncertainty for Efficient Exact Cache Analysis

 Claire Maïza , Valentin Touzeau , David Monniaux , Jan Reineke
Computer Aided Verification - 29th International Conference, Rupak Majumdar; Viktor Kuncak, Jul 2017, Heidelberg, France. pp.20 - 40, ⟨10.1007/978-3-319-63390-9_2⟩
Communication dans un congrès hal-01592048v2
Image document

Static analysis of least recently used caches: complexity, optimal analysis, and applications to worst-case execution time and security

 Valentin Touzeau
Programming Languages [cs.PL]. UGA - Université Grenoble Alpes, 2019. English. ⟨NNT : ⟩
Thèse tel-02454946v1
Page :