1299 search results - page 7 / 260 » On the Correctness of Operating System Kernels |
117
click to vote
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
CGO
2007
IEEE
15 years 6 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
102
click to vote
OSDI
1994
ACM
15 years 1 months ago
1994
ACM
We describe the lockingarchitecture of a new operating system, HURRICANE, designed for large scale shared-memory multiprocessors. Many papers already describe kernel lockingtechni...
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...