1222 search results - page 123 / 245 » Verifying a File System Implementation |
105
Voted
ICVGIP
2004
15 years 4 months ago
2004
This paper proposes a person identification system (PID), which works with non-illumination low-resolution eye images. Radial-Scan and threshold methods are used for Iris normaliz...
86
Voted
MASCOTS
2001
15 years 4 months ago
2001
File systems that allocate data contiguously often use bitmaps to representand managefree space. Increases in the size of storage to be managed creates a needfor eficient algorith...
130
Voted
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
Disk performance is increasingly limited by its head positioning latencies, i.e., seek time and rotational delay. To reduce the head positioning latencies, we propose a novel tech...
139
Voted
STORAGESS
2005
ACM
15 years 8 months ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
115
click to vote
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...