14 search results - page 1 / 3 » emsoft 2003 |
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
EMSOFT
2003
Springer
13 years 10 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 10 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 ...