14 search results - page 1 / 3 » emsoft 2003 |
EMSOFT
2003
Springer
13 years 9 months ago
2003
Springer
EMSOFT
2003
Springer
13 years 9 months ago
2003
Springer
EMSOFT
2003
Springer
13 years 9 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
EMSOFT
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
EMSOFT
2003
Springer
13 years 9 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 ...