167 search results - page 2 / 34 » Models and Software Model Checking of a Distributed File Rep... |
VMCAI
2009
Springer
14 years 2 days ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
CCGRID
2002
IEEE
13 years 10 months ago
2002
IEEE
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
In a data intensive Grid system, many data replica schemes and models have been proposed to improve the system response time or data consistency, but little attention has been pai...
FMOODS
2007
13 years 6 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...