1744 search results - page 99 / 349 » A Proof-Carrying File System |
125
click to vote
FAST
2008
15 years 5 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
66
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
106
Voted
MASCOTS
2001
15 years 5 months ago
2001
We introduce the aggregating cache, and demonstrate how it can be used to reduce the number of file retrieval requests made by a caching client, improving storage system performan...
112
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
This paper addresses the desktop search problem by considering various techniques for ranking results of a search query over the file system. First, basic ranking techniques, whic...