48
Voted
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
63
Voted
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
45
Voted
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah