7694 search results - page 34 / 1539 » An Implementation of an Applicative File System |
117
click to vote
DKE
1998
15 years 1 months ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
COMPSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
107
click to vote
SC
1993
ACM
15 years 6 months ago
1993
ACM
The High Performance Storage System (HPSS) is a mature Hierarchical Storage Management (HSM) system that was developed around a network-centered architecture, with client access t...
141
click to vote
VMCAI
2009
Springer
15 years 8 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...
120
click to vote
FAST
2010
15 years 4 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...