1299 search results - page 140 / 260 » On the Correctness of Operating System Kernels |
139
click to vote
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
169
click to vote
ISCA
2012
IEEE
13 years 7 months ago
2012
IEEE
Memory system reliability is a serious and growing concern in modern servers. Existing chipkill-level memory protection mechanisms suffer from several drawbacks. They activate a l...
146
click to vote
ISPAN
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
251
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with t...
123
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...