|
101
|
Using Model Checking to Find Serious File System Errors
– Junfeng Yang, Paul Twohey, Dawson Engler
- 2004
|
|
105
|
Row-diagonal parity for double disk failure correction
– Peter Corbett, Bob English, Atul Goel, Tomislav Grcanac, Steven Kleiman, James Leong, Sunitha Sankar
- 2004
|
|
675
|
A Case for Redundant Arrays of Inexpensive Disks (RAID
– David Patterson, Garth Gibson, Randy Katz
- 1988
|
|
37
|
Commercial Fault Tolerance: A Tale of Two Systems
– Wendy Bartlett, Ieee Computer Society, Lisa Spainhower
- 2004
|
|
98
|
Failure trends in a large disk drive population
– Eduardo Pinheiro, Wolf-dietrich Weber, Luiz André Barroso
- 2007
|
|
808
|
The Design and Implementation of a Log-Structured File System
– Mendel Rosenblum, John K. Ousterhout
- 1992
|
|
35
|
EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors
– Junfeng Yang, Can Sar , Dawson Engler
- 2006
|
|
637
|
The Google File System
– Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung
- 2003
|
|
160
|
Deciding when to forget in the Elephant file system
– Douglas S. Santry, Michael J. Feeley, Norman C. Hutchinson, Alistair C. Veitch, Ross W. Carton, Jacob Ofir
- 1999
|
|
147
|
Cmc: A pragmatic approach to model checking real code
– Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
- 2002
|
|
44
|
Disk scrubbing in large archival storage systems
– Thomas J. E. Schwarz, Qin Xin, Andy Hospodor, Spencer Ng
- 2004
|
|
299
|
Postmark: a new file system benchmark. Network Appliance
– Jeffrey Katcher
- 1997
|
|
32
|
Rethink the sync
– Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn
- 2006
|
|
49
|
VERSIONFS -- A Versatile and User-Oriented Versioning File System
– Kiran-Kumar Muniswamy-Reddy
- 2003
|
|
82
|
Free transactions with rio vista
– D E Lowell, P M Chen
- 1997
|
|
238
|
File System Design for an NFS File Server Appliance
– Dave Hitz, James Lau, Michael Malcolm
- 1994
|
|
38
|
Path-Sensitive Program Verification in Polynomial Time
– Manuvir Das, Sorin Lerner, Mark Seigle
- 2002
|
|
348
|
Automatically validating temporal safety properties of interfaces
– Thomas Ball, Sriram K. Rajamani
- 2001
|
|
514
|
Bandera: Extracting Finite-state Models from Java Source Code
– James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng
- 2000
|
