Sciweavers

1744 search results - page 77 / 349
» A Proof-Carrying File System
Sort
View
PDIS
1991
IEEE
15 years 1 months ago
Practical Prefetching Techniques for Parallel File Systems
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...
David Kotz, Carla Schlatter Ellis
CCGRID
2007
IEEE
15 years 4 months ago
Hierarchical Replication Control in a Global File System
We develop a consistent mutable replication extension for NFSv4 tuned to meet the rigorous demands of largescale data sharing in global collaborations. The system uses a hierarchi...
Jiaying Zhang, Peter Honeyman
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 4 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
CLUSTER
2008
IEEE
15 years 4 months ago
An OSD-based approach to managing directory operations in parallel file systems
—Distributed file systems that use multiple servers to store data in parallel are becoming commonplace. Much work has already gone into such systems to maximize data throughput....
Nawab Ali, Ananth Devulapalli, Dennis Dalessandro,...
MSS
2003
IEEE
130views Hardware» more  MSS 2003»
15 years 3 months ago
zFS - A Scalable Distributed File System Using Object Disks
zFS is a research project aimed at building a decentralized file system that distributes all aspects of file and storage management over a set of cooperating machines interconne...
Ohad Rodeh, Avi Teperman