1222 search results - page 45 / 245 » Verifying a File System Implementation |
121
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Today’s computational science demands have resulted in ever larger parallel computers, and storage systems have grown to match these demands. Parallel file systems us...
127
Voted
SYSTOR
2009
ACM
15 years 8 months ago
2009
ACM
Data compression has been claimed to be an attractive solution to save energy consumption in high-end servers and data centers. However, there has not been a study to explore this...
143
Voted
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
The idealdistributed file system wouldprovide all its userswith coherent,shared access tothe samesetoffiles,yetwould be arbitrarily scalable to provide more storage space and hi...
83
Voted
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
100
click to vote
OSDI
2004
ACM
16 years 2 months ago
2004
ACM
SUNDR is a network file system designed to store data securely on untrusted servers. SUNDR lets clients detect any attempts at unauthorized file modification by malicious server o...