1299 search results - page 13 / 260 » On the Correctness of Operating System Kernels |
102
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
GRID
2006
Springer
14 years 11 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
USENIX
2003
15 years 1 months ago
2003
We explore the requirements, design, and implementation of the TrustedBSD MAC Framework. The TrustedBSD MAC Framework, integrated into FreeBSD 5.0, provides a flexible framework ...
VEE
2006
ACM
15 years 5 months ago
2006
ACM
Many critical IT infrastructures require non-disruptive operations. However, the operating systems thereon are far from perfect that patches and upgrades are frequently applied, i...