1222 search results - page 70 / 245 » Verifying a File System Implementation |
102
Voted
SIGOPS
2008
15 years 2 months ago
2008
The layered design of the Linux operating system hides the liveness of file system data from the underlying block layers. This lack of liveness information prevents the storage sy...
139
Voted
NOSSDAV
2009
Springer
15 years 9 months ago
2009
Springer
Hard-disk drive power consumption reduction methods focus mainly on increasing the amount of time the disk is in standby mode (disk spun down) by implementing aggressive data read...
110
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
111
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
114
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...