20 search results - page 2 / 4 » Model-Checking the Linux Virtual File System |
ICPP
2008
IEEE
13 years 10 months ago
2008
IEEE
Parallel I/O plays an increasingly important role in today’s data intensive computing applications. While much attention has been paid to parallel read performance, most of this...
ICDM
2010
IEEE
13 years 2 months ago
2010
IEEE
The Knowledge File System (KFS) is a smart virtual file system that sits between the operating system and the file system. Its primary functionality is to automatically organize fi...
LISA
2008
13 years 6 months ago
2008
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...
USENIX
2001
13 years 5 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
SBMF
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...