1744 search results - page 3 / 349 » A Proof-Carrying File System |
118
click to vote
ESOP
2005
Springer
15 years 3 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 ...
68
Voted
TOCS
2012
13 years 4 days 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...
114
click to vote
EUROMICRO
1996
IEEE
15 years 1 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
15 years 2 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
15 years 13 hour 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 ...