76
Voted
EMSOFT
2003
Springer
15 years 2 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...