Filtrer vos résultats
- 5
- 2
- 2
- 1
- 5
- 3
- 1
- 1
- 5
- 4
- 1
- 5
- 4
- 2
- 1
- 1
- 1
5 résultats
|
|
triés par
|
|
On the complexity of cache analysis for different replacement policiesJournal of the ACM (JACM), 2019, 66 (6), pp.41. ⟨10.1145/3366018⟩
Article dans une revue
hal-01910216v3
|
||
|
Fast and exact analysis for LRU cachesProceedings of the ACM on Programming Languages, 2019, 3 (POPL), ⟨10.1145/3290367⟩
Article dans une revue
hal-01908648v2
|
||
|
Static analysis of least recently used caches: complexity, optimal analysis, and applications to worst-case execution time and securityProgramming Languages [cs.PL]. UGA - Université Grenoble Alpes, 2019. English. ⟨NNT : ⟩
Thèse
tel-02454946v1
|
||
|
Ascertaining Uncertainty for Efficient Exact Cache AnalysisComputer 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
|
||
|
Model Checking of Cache for WCET Analysis Refinement10th Junior Researcher Workshop on Real-Time Computing, Oct 2016, Brest, France
Communication dans un congrès
hal-01447930v2
|