Robust Storage Structures for Crash Recovery
IEEE Transactions on Computers - The MIT Press scientific computation series
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Checking the Integrity of Trees
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
On-Line Error Monitoring for Several Data Structures
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Principles of Data Structure Error Correction
IEEE Transactions on Computers
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
On the requirements of new software development
International Journal of Business Intelligence and Data Mining
Runtime Verification
Consistency oriented programming
SoD '07 Proceedings of the 2007 Symposium on Science of Design
Robust-and-evolvable resilient software systems: open problems and lessons learned
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Practical hardening of crash-tolerant systems
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
Adaptation and Dependability and Their Key Role in Modern Software Engineering
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.01 |
The increasing cost of computer system failure has stimulated interest in improving software reliability. One way to do this is by adding redundant structural data to data structures. Such redundancy can be used to detect and correct (structural) errors in instances of a data structure. The intuitive approach of this paper, which makes heavy use of examples, is complemented by the more formal development of the companion paper, "Redundancy in Data Structures: Some Theoretical Results."