1744 search results - page 4 / 349 » A Proof-Carrying File System |
SIGMETRICS
1999
ACM
13 years 11 months ago
1999
ACM
We collect and analyze a snapshot of data from 10,568 file systems of 4801 Windows personal computers in a commercial environment. The file systems contain 140 million files total...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
WWW
2006
ACM
14 years 8 months ago
2006
ACM
XML is the predominant format for representing structured information inside documents, but it stops at the level of files. This makes it hard to use XML-oriented tools to process...
RIVF
2007
13 years 8 months ago
2007
— Semantic file systems enhance standard file systems with the ability of file searching based on file semantics. The users interact with semantic file systems not only by execut...
USENIX
2008
13 years 9 months ago
2008
Striping is a technique that distributes file content over multiple storage servers and thereby enables parallel access. In order to be able to provide a consistent view across fi...