Title :
Extending backward error assertions to tolerance of large errors in floating point computations
Author :
Fitzpatrick, Patrick
Author_Institution :
Dept. of Math., Nat. Microelectron. Res. Centre, Cork, Ireland
fDate :
4/1/1997 12:00:00 AM
Abstract :
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
Keywords :
fault tolerant computing; floating point arithmetic; backward error assertions extension; fault induced errors; floating point computations; iterative refinement; large errors tolerance; linear systems; Computer errors; Error analysis; Error correction; Fault detection; Fault tolerance; Iterative algorithms; Linear algebra; Linear systems; Protection; Redundancy;
Journal_Title :
Computers, IEEE Transactions on
