2 citations · 2 across the 1 of their papers we have counts for
1 paper
Franck Cassez, Pablo González de Aledo Marugán
In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton mod…