18 citations · 19 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 18 cited
Ascertaining Uncertainty for Efficient Exact Cache Analysis
Valentin Touzeau, Claire Maïza, David Monniaux +1
Static cache analysis characterizes a program's cache behavior by determining in a sound but approximate manner which memory accesses result in cache hits and which result in cache…
cs.PL2017★ 1 cited
Model Checking of Cache for WCET Analysis Refinement
Valentin Touzeau, Claire Maïza, David Monniaux
On real-time systems running under timing constraints, scheduling can be performed when one is aware of the worst case execution time (WCET) of tasks. Usually, the WCET of a task i…