1222 search results - page 29 / 245 » Verifying a File System Implementation |
169
click to vote
DBSEC
2007
15 years 7 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
156
click to vote
ICDE
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents the design and implementation of a transaction manager embedded in a log-structured file system [11]. Measurements show that transaction support on a log-stru...
149
click to vote
BTW
2007
Springer
16 years 18 days ago
2007
Springer
: Ever-growing data volumes demand for storage systems beyond current file systems abilities, particularly, a powerful querying capability. With the rise of XML, the database comm...
179
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
144
click to vote
SRDS
2008
IEEE
16 years 23 days ago
2008
IEEE
Replicated file-systems can experience degraded performance that might not be adequately handled by the underlying fault-tolerant protocols. We describe the design and implementa...