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