1222 search results - page 36 / 245 » Verifying a File System Implementation |
118
Voted
FAST
2009
15 years 2 days ago
2009
The performance of file systems and related software depends on characteristics of the underlying file-system image (i.e., file-system metadata and file contents). Unfortunately, ...
138
click to vote
MASCOTS
2001
15 years 3 months ago
2001
Farsite is a scalable, distributed file system that logically functions as a centralized file server but that is physically implemented on a set of client desktop computers. Farsi...
111
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
CC-NUMA is a widely adopted and deployed architecture of high performance computers. These machines are attractive for their transparent access to local and remote memory. However...
103
click to vote
SIGOPSE
1990
ACM
15 years 6 months ago
1990
ACM
In the Sprite environment, tolerating faults means recovering from them quickly. Our position is that performance and availability are the desired features of the typical locally-...
102
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we describe an implementation of MPI-IO on top of the Direct Access File System (DAFS) standard. The implementation is realized by porting ROMIO on top of DAFS. We ...