1222 search results - page 22 / 245 » Verifying a File System Implementation |
126
click to vote
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is a key activity in the field of digital forensic...
109
Voted
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
— Networks for real-time embedded systems are a key emerging technology for current and future systems. Such networks need to enable reliable communication without requiring sign...
122
Voted
LISA
2008
15 years 4 months ago
2008
Sysman is a system management infrastructure for clusters and data centers similar to the /proc file system. It provides a familiar yet powerful interface for the management of se...
118
click to vote
FAST
2004
15 years 3 months ago
2004
File versioning is a useful technique for recording a history of changes. Applications of versioning include backups and disaster recovery, as well as monitoring intruders' a...
104
click to vote
TOPLAS
2008
15 years 2 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...