1222 search results - page 34 / 245 » Verifying a File System Implementation |
122
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
1 Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of a systems distribute...
111
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
108
click to vote
MICRO
2010
IEEE
14 years 12 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
106
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
The lowly state of the art for file system checking and repair does not match what is needed to keep important data available for users. Current file system checkers, such as e2fs...
122
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...