1744 search results - page 131 / 349 » A Proof-Carrying File System |
142
click to vote
MM
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we address the problem of choosing a disk admission algorithm for continuous media streams where each stream may have a di erent bit rate, and more importantly, whe...
119
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
As users interact with an increasing array of personal computing devices, maintaining consistency of data across those devices becomes significantly more difficult. Typical soluti...
110
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper investigates unsupervised vocabulary and language model self-adaptation (VLA) from just one speech file using the web as a knowledge source and without prior knowledge...
168
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
This paper presents a new challenge—verifying that a remote server is storing a file in a fault-tolerant manner, i.e., such that it can survive hard-drive failures. We describe...
103
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
We analyze the version history of 7 software systems to predict the most fault prone entities and files. The basic assumption is that faults do not occur in isolation, but rather ...