• DocumentCode
    1555004
  • 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
  • Volume
    46
  • Issue
    4
  • fYear
    1997
  • fDate
    4/1/1997 12:00:00 AM
  • Firstpage
    505
  • Lastpage
    510
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.588072
  • Filename
    588072