1222 search results - page 13 / 245 » Verifying a File System Implementation |
FAST
2004
13 years 8 months ago
2004
File system traces have been used for years to analyze user behavior and system software behavior, leading to advances in file system and storage technologies. Existing traces, ho...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
OdeFSis a file-like interface to the Ode objectoriented database. OdeFS allows database objects to be accessedand manipulated with standardcommands,just like files in atraditional...
KBSE
1999
IEEE
13 years 11 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 ...
MSS
2005
IEEE
14 years 29 days ago
2005
IEEE
The High Performance Storage System (HPSS) provides scalable hierarchical storage management (HSM), archive, and file system services. Its design, implementation and current domin...
FAST
2010
13 years 9 months ago
2010
is a unifying abstraction that simplifies data management by encapsulating different physical representations of the same logical data. Similar to a quBit (quantum bit), the parti...