249 search results - page 19 / 50 » Practical Prefetching Techniques for Parallel File Systems |
CCS
2007
ACM
14 years 2 months ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
ACSAC
2006
IEEE
14 years 11 days ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
LCPC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
PODC
2004
ACM
14 years 2 months ago
2004
ACM
Many lock-free data structures in the literature exploit techniques that are possible only because state-of-the-art 64-bit processors are still running 32-bit operating systems an...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...