Sciweavers

106 search results - page 1 / 22
» On the use of metatypes for safe embedded operating system e...
Sort
View
PAAPP
2007
77views more  PAAPP 2007»
15 years 5 months ago
On the use of metatypes for safe embedded operating system extension
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
141
Voted
OSDI
2006
ACM
16 years 6 months ago
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ily...
ECRTS
2002
IEEE
15 years 11 months ago
'QoS Safe' Kernel Extensions for Real-Time Resource Management
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...
Richard West, Jason Gloudon
179
Voted
COOTS
1997
15 years 7 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small
OSDI
1996
ACM
15 years 7 months ago
Safe Kernel Extensions Without Run-Time Checking
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
George C. Necula, Peter Lee