Documents Related by Co-Citation

122 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004
728 A case for redundant arrays of inexpensive disks (RAID – D A Patterson, G Gibson, R H Katz - 1988
892 The Design and Implementation of a Log-Structured File System – Mendel Rosenblum, John K. Ousterhout - 1992
908 The Google File System – Sanjay Ghemawat, Howard Gobioff, Shun-Tak Leung - 2003
143 Failure trends in a large disk drive population – Eduardo Pinheiro, Wolf-dietrich Weber, Luiz André Barroso - 2007
43 Commercial Fault Tolerance: A Tale of Two Systems – Wendy Bartlett, Ieee Computer Society, Lisa Spainhower - 2004
53 EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors – Junfeng Yang, Can Sar , Dawson Engler - 2006
132 Row-diagonal parity for double disk failure correction – Peter Corbett, Bob English, Atul Goel, Tomislav Grcanac, Steven Kleiman, James Leong, Sunitha Sankar - 2004
172 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
442 Design and Implementation or the Sun Network Filesystem – Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon - 1985
337 PostMark: A New File System Benchmark – J Katcher - 1997
53 Rethink the sync – Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn - 2006
60 VERSIONFS -- A Versatile and User-Oriented Versioning File System – Kiran-Kumar Muniswamy-Reddy - 2003
91 Free Transactions With Rio Vista – D Lowell, P Chen - 1997
275 File System Design for an NFS File Server Appliance – Dave Hitz, James Lau, Michael Malcolm - 1994
40 Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
1254 The model checker SPIN – Gerard J. Holzmann - 1997
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001