pith. sign in

arxiv: 1511.04172 · v1 · pith:GS7DYFFQnew · submitted 2015-11-13 · 💻 cs.FL · cs.LO

Timed Automata for Modelling Caches and Pipelines

Franck Cassez (Macquarie University , Sydney , Australia) , Pablo Gonz\'alez de Aledo Marug\'an (University of Cantabria , Santander , Spain) This is my paper
classification 💻 cs.FL cs.LO
keywords cachesmodellingpipelinesprogramstimedarchitecturesaspectsautomata
0
0 comments X
read the original abstract

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 model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.