1299 search results - page 38 / 260 » On the Correctness of Operating System Kernels |
169
click to vote
CCGRID
2003
IEEE
15 years 7 months ago
2003
IEEE
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
124
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The influences of OS and system-specific effects on application performance are increasingly important in high performance computing. In this regard, OS kernel measuremen...
139
click to vote
SOSP
2005
ACM
16 years 26 days ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
116
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
This paper describes the Denali isolation kernel, an operating system architecture that safely multiplexes a large number of untrusted Internet services on shared hardware. Denali...
127
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...