1744 search results - page 3 / 349 » A Proof-Carrying File System |
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
TOCS
2012
11 years 8 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...
EUROMICRO
1996
IEEE
13 years 10 months ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
HOTOS
1999
IEEE
13 years 10 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
USENIX
2008
13 years 8 months ago
2008
In this paper we present the analysis of two large-scale network file system workloads. We measured CIFS traffic for two enterprise-class file servers deployed in the NetApp data ...