1222 search results - page 23 / 245 » Verifying a File System Implementation |
ICDCSW
2007
IEEE
14 years 1 months ago
2007
IEEE
Free-riders and fake files are two important problems in P2P file sharing systems. Previous works have always used incentive mechanisms and trust mechanisms to address them resp...
FAST
2009
13 years 5 months ago
2009
We develop a holistic framework for adaptively scheduling asynchronous requests in distributed file systems. The system is holistic in that it manages all resources, including net...
PDPTA
2000
13 years 8 months ago
2000
Design of cluster file system is very important for building a general-purpose cluster with commodity components. To provide scalable high I/O performance needed in the scientific...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
Several recent studies have pointed out that file I/Os can be a major performance bottleneck for some large Web servers. Large I/O buffer caches often do not work effectively for ...
USS
2008
13 years 9 months ago
2008
We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed...