Analysis and design of algorithm-based fault-tolerant systems

Probabilistic Evaluation of Online Checks in Fault-Tolerant Multiprocessor Systems

IEEE Transactions on Computers - Special issue on fault-tolerant computing

Efficient Techniques for the Analysis of Algorithm-Based Fault Tolerance (ABFT) Schemes

IEEE Transactions on Computers

Algorithm-Based Fault Location and Recovery for Matrix Computations on Multiprocessor Systems

IEEE Transactions on Computers

Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance

International Journal of Parallel Programming

Improved Bounds for Algorithm-Based Fault Tolerance

IEEE Transactions on Computers

Diagnosability and Diagnosis of Algorithm-Based Fault-Tolerant Systems

IEEE Transactions on Computers