1222 search results - page 95 / 245 » Verifying a File System Implementation |
131
Voted
WSC
2000
15 years 3 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
126
click to vote
LCTRTS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
147
Voted
FAC
2008
15 years 2 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
86
Voted
USENIX
1994
15 years 3 months ago
1994
The Network File System (NFS) utilizes a stateless protocol between clients and servers; the major advantage of this statelessness is that NFS crash recovery is very easy. However...
121
Voted
GRID
2006
Springer
15 years 2 months ago
2006
Springer
Existing data grid scheduling systems handle huge data I/O via replica location services coupled with simple staging, decoupled from scheduling of computing tasks. However, when th...