NTRS - NASA Technical Reports Server

Back to Results
Software for Fault-Tolerant Matrix MultiplicationFormal Linear Algebra Recovery Environment is a computer program for high-performance, fault-tolerant matrix multiplication. The program is based on an extension of the prior theory and practice of fault-tolerant matrix matrix multiplication of the form C = AB. This extension provides low-overhead methods for detecting errors, not only in C, but also in A and/or B. These methods enable the detection of all errors as long as, in a given case, only one entry in A, B, or C is corrupted. The program also provides for following a low-overhead rollback approach to correct errors once detected. Results of computational experiments have demonstrated that the methods implemented in this program work well in practice while imposing an acceptably low level of overhead, relative to high-performance matrix-multiplication methods that do not afford fault tolerance.
Document ID
Acquisition Source
Jet Propulsion Laboratory
Document Type
Other - NASA Tech Brief
Katz, Daniel
(California Inst. of Tech. Pasadena, CA, United States)
Tisdale, Edwin
(California Inst. of Tech. Pasadena, CA, United States)
Quintana-Orti, Enrique
(California Inst. of Tech. Pasadena, CA, United States)
Gunnels, John
(California Inst. of Tech. Pasadena, CA, United States)
van de Geijn, Robert
(California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
August 25, 2013
Publication Date
February 1, 2004
Publication Information
Publication: NASA Tech Briefs, February 2004
Subject Category
Man/System Technology And Life Support
Report/Patent Number
Distribution Limits
Public Use Permitted.
No Preview Available