1222 search results - page 223 / 245 » Verifying a File System Implementation |
189
click to vote
VLDB
2008
ACM
15 years 12 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
128
click to vote
IFIP
2005
Springer
15 years 5 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
107
click to vote
CLUSTER
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we analyze the I/O access patterns of a widely-used biological sequence search tool and implement two variations that employ parallel-I/O for data access based on PV...
115
click to vote
EAGC
2003
Springer
15 years 5 months ago
2003
Springer
In the paper we aim to describe the project developing the Migrating Desktop infrastructure for the mobile users in a simple way. We also focus on the development testbed, which i...
ITC
1998
IEEE
15 years 4 months ago
1998
IEEE
A method for measuring inter-symbol interference, duty cycle distortion, random jitter and periodic jitter is described. The Blackman-Tukey method of signal analysis is used. This...