1753 search results - page 46 / 351 » IRON file systems |
114
click to vote
ICAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Grid data management is a challenging task because of the heterogeneous, dynamic and largescale nature of Grid environments. This paper proposes an autonomic Grid data management ...
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
103
click to vote
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Existing steganographic file systems enable a user to hide the existence of his secret data by claiming that they are (static) dummy data created during disk initialization. Such ...
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
VMCAI
2009
Springer
15 years 6 months 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...