1299 search results - page 66 / 260 » On the Correctness of Operating System Kernels |
134
click to vote
HASE
1997
IEEE
15 years 8 months ago
1997
IEEE
: The distributed recovery block (DRB) scheme is a widely applicable approach for realizing both hardware and software fault tolerance in real-time distributed and parallel compute...
139
click to vote
ICML
1994
IEEE
15 years 7 months ago
1994
IEEE
We describe CLIPS-R, a theory revision system for the revision of CLIPS rule-bases. CLIPS-R differs from previous theory revision systems in that it operates on forward chaining p...
128
click to vote
USENIX
2004
15 years 5 months ago
2004
This paper presents DTrace, a new facility for dynamic instrumentation of production systems. DTrace features the ability to dynamically instrument both user-level and kernel-leve...
120
click to vote
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...
108
click to vote
CBSE
2006
Springer
15 years 7 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...