1299 search results - page 159 / 260 » On the Correctness of Operating System Kernels |
169
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
291
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
152
click to vote
FAST
2008
15 years 8 months ago
2008
The file-system API of contemporary systems makes programs vulnerable to TOCTTOU (time of check to time of use) race conditions. Existing solutions either help users to detect the...
186
click to vote
FAST
2011
14 years 10 months ago
2011
Application launch performance is of great importance to system platform developers and vendors as it greatly affects the degree of users’ satisfaction. The single most effectiv...
158
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Two schemes proposed to cope with unrecoverable or latent media errors and enhance the reliability of RAID systems are examined. The first scheme is the established, widely used d...