Mantissa-preserving operations and robust algorithm-based fault tolerance for matrix computations

IEEE Transactions on Computers

Volumn 45, Issue 4, 1996, Pages 408-424

  Dutt, Shantanu ^a,b   Assaad, Fikri T ^b  

^a IEEE

^b University of Minnesota   (United States)

Author keywords

Algorithm based fault tolerance; Floating point checksum test; Hybrid checksum test; LU decomposition; Mantissa checksum test; Mantissa preserving operations; Matrix multiplication; Roundoff errors; Thresholding

Indexed keywords

EID: 0009853796     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.494099     Document Type: Article

References (27)

1. G.E. Alefeld, "Interval Arithmetic Tools and the Precise Scalar Product in Numerical Analysis," Trans. Society for Computer Simulation, vol. 6, pp. 189-209, July 1989.
2. F.T. Assaad and S. Dutt, "More Robust Tests in Algorithm-Based Fault-Tolerant Matrix Multiplication," Proc. 22nd Tault-Tolerant Computing Symp., pp. 430-439, Boston, July 1992.
3. V. Balasubramanian and P. Banerjee, "Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors," IEEE Trans. Computers, vol. 39, no. 4, pp. 436-446, Apr. 1990.
4. P. Banerjee, J.T. Rahmeh, C. Stunkel, V.S. Nair, K. Roy, and J.A. Abraham, "Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor," IEEE Trans. Computers, vol. 39, no. 9, pp. 1,132-1,145, Sept. 1990.
5. G. Bohlender, W. Walter, P. Kornerup, and D.W. Matula, "Semantics for Exact Floating-Point Operations," Proc. 10th IEEE Symp. Computer Arithmetic, pp. 22-26, June 1991.
6. G. Bohlender, D. Cordes, A. Knofel, U. Kulisch, R. Lohner, and W.V. Walter, "Proposal for Accurate Floating-Point Vector Arithmetic," Scientific Computing with Automatic Result Verification, E. Adams and U. Kulisch, eds., pp. 87-102, Academic Press.
7. D.L. Boley, G.H. Golub, S. Makar, N. Saxena, and E.J. McCluskey, "Floating Point Fault Tolerance Using Backward Error Assertions," IEEE Trans. Computers, Special Issue on Fault-Tolerant Computing, vol. 44, no. 2, pp. 302-311, Feb. 1995.
8. R. Cromerford, "How DEC Developed Alpha," IEEE Spectrum, pp. 26-31, July 1992.
9. D. Goldberg, "What Every Computer Scientist Should Know about Floating-Point Arithmetic," ACM Computing Surveys, vol 23, no. 1, pp. 5-48, Mar. 1991.
10. L. Geppert, "Not Your Father's CPU," IEEE Spectrum, pp. 20-23, Dec. 1993.
11. G.H. Golub and C.F. Van Loan. Matrix Computations. Baltimore: Johns Hopkins Univ. Press, 2nd edition, 1989.
12. J.L. Hennessy and D.A. Patterson, Computer Architecture: A Quantitative Approach. Palo Alto, Calif.: Morgan Kaufmann, 1990.
13. G.H. Hardy and E.M. Wright, An Introduction to the Theory of Numbers, Fifth Edition. New York: Oxford University Press, 1979.
14. K. H. Huang and J.A. Abraham, "Algorithm-Based Fault Tolerance for Matrix Operations," IEEE Trans. Computers, vol. 33, no. 6, pp. 518-528, June 1984.
15. U.W. Kulisch and W.L. Miranker, Computer Arithmetic in Theory and Practice. New York: Academic Press, 1981.
16. U.W. Kulisch and W.L. Miranker, "The Arithmetic of the Digital Computer," SIAM Review, vol. 28, no. 1, pp. 1-40, Mar. 1986.
17. F.T. Luk, "Algorithm-Based Fault Tolerance for Parallel Mmatrix Solvers," Proc. SPIE Real-Time Signal Processing VIII, vol. 564, pp. 49-53, 1985.
18. F.T. Luk and H. Park, "An Analysis of Algorithm-Based Fault Tolerance Techniques," J. Parallel and Distributed Computing, vol. 5, pp. 172-184, 1988.
19. M. Malek and Y.H. Choi, "A Fault-Tolerant FFT Processor," Proc. 15th Fault Tolerant Computing Symp., pp. 266-271, Ann Arbor, Mich., June 1985.
20. M. Muller, C. Rub, and W. Rulling, "Exact Accumulation of Floating-Point Numbers," Proc. 10th IEEE Symp. Computer Arithmetic, pp. 64-69, June 1991.
21. V.S.S. Nair and J.A. Abraham, "Real-Number Codes for Fault-Tolerant Matrix Operations on Processor Arrays," IEEE Trans. Computers, vol 39, no. 4, pp. 426-435, Apr. 1990.
22. R.P. Paul, SPARC Architecture, Assembly Language Programming, & C. Englewood Cliffs, N.J.: Prentice Hall, 1994.
23. A. Roy-Chowdhury and P. Banerjee, "Tolerance Determination for Algorithm-Based Checks Using Simplified Error Analysis Techniques," Proc. 23rd Fault Tolerant Computing Symp., Toulouse, France, June 1993.
24. D.P. Siewiorek and R. Swarz, The Theory and Practice of Reliable System Design. Bedford, Mass.: Digital Press, 1982.
25. J.E. Smith and S. Weiss, "PowerPC 601 and Alpha 21064: A Tale of Two RISCs," Computer, pp. 46-58, June 1994.
26. J.H. Wilkinson, Rounding Errors in Algebraic Processes. Englewood Cliffs, N.J.: Prentice Hall, 1963.
27. J.H. Wilkinson. The Algebraic Eigenvalue Problem. Oxford: Clarendon Press, 1965.