1299 search results - page 77 / 260 » On the Correctness of Operating System Kernels |
138
click to vote
APCSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we discuss the architecture of a modular UNIX-compatible operating system, MINIX 3, that provides reliability beyond that of most other systems. With nearly the ent...
132
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
On-Line Transaction Processing (OLTP) systems constitute the kernel of the information systems used today to support the daily operations of most organizations. Although these sys...
127
click to vote
OSDI
2000
ACM
15 years 5 months ago
2000
ACM
Storage Latency Estimation Descriptors, or SLEDs, are an API that allow applications to understand and take advantage of the dynamic state of a storage system. By accessing data i...
129
click to vote
IJHPCA
2006
15 years 4 months ago
2006
Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or o...
117
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...