1222 search results - page 3 / 245 » Verifying a File System Implementation |
IADIS
2004
13 years 8 months ago
2004
Most Internet services rely on the traditional client-server model, where the quality of services usually depends on the performance of those servers. In this paper, we propose a ...
CCS
1994
ACM
13 years 11 months ago
1994
ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
HOTOS
1999
IEEE
13 years 11 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...
MM
2000
ACM
13 years 11 months ago
2000
ACM
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
ENTCS
2008
13 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...