1222 search results - page 88 / 245 » Verifying a File System Implementation |
127
Voted
AUIC
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a system for Augmented Reality interior design based on digital images. The system can be used with an ordinary PC and a digital camera: no special equip...
126
Voted
USENIX
1994
15 years 3 months ago
1994
y-filled data block results in a delayed write,Abstract while a modification that fills a block results in an immediate, although asynchronous, write. TheSome file systems can dela...
112
Voted
FAST
2009
15 years 11 days ago
2009
This paper presents the design, implementation, and evaluation of BORG, a self-optimizing storage system that performs automatic block reorganization based on the observed I/O wor...
130
Voted
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
EUROPKI
2008
Springer
15 years 4 months ago
2008
Springer
Real world healthcare systems are generally large and overly complex systems. Designing privacy-friendly protocols for such systems is a challenging task. In this paper we present ...