1222 search results - page 29 / 245 » Verifying a File System Implementation |
116
click to vote
DBSEC
2007
15 years 3 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 ...
106
click to vote
ICDE
1993
IEEE
15 years 6 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...
BTW
2007
Springer
15 years 8 months 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...
123
Voted
SPDP
1991
IEEE
15 years 5 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...
SRDS
2008
IEEE
15 years 8 months 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...