1299 search results - page 7 / 260 » On the Correctness of Operating System Kernels |
147
Voted
ACSAC
2009
IEEE
15 years 10 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...
126
Voted
CGO
2007
IEEE
15 years 10 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 ...
139
Voted
OSDI
1994
ACM
15 years 5 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...
121
Voted
EUROSYS
2009
ACM
16 years 22 days 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 ...