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»
13 years 4 months ago
On the use of metatypes for safe embedded operating system extension
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
OSDI
2006
ACM
14 years 5 months ago
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ily...
ECRTS
2002
IEEE
13 years 10 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
COOTS
1997
13 years 6 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
13 years 6 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