Issue No.04 - April (1997 vol.46)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.588072
<p><b>Abstract</b>—The use of backward error assertions combined with iterative refinement has been suggested for the correction of small fault induced errors in the floating point solution of linear systems. We extend this to the correction of large errors, typically caused by the failure of a single processor (or column of processors) in an array.</p>
Fault tolerance, algorithm-based fault tolerance, backward error assertions, floating point computation.
Patrick Fitzpatrick, "Extending Backward Error Assertions to Tolerance of Large Errors in Floating Point Computations", IEEE Transactions on Computers, vol.46, no. 4, pp. 505-510, April 1997, doi:10.1109/12.588072