Reflections on the Pentium division bug

IEEE Transactions on Computers

Volumn 45, Issue 4, 1996, Pages 385-393

  Blum, Manuel ^a,b   Wasserman, Hal ^b  

^a IEEE

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Built in testing; Concurrent error detection; Fault tolerance; Pentium; Reliability; Result checking; Verification

Indexed keywords

EID: 0001168383     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.494097     Document Type: Article

References (14)

1. S. Ar, M. Blum, B. Codenotti, and P. Gemmell, "Checking Approximate Computations Over the Reals," Proc. 25th Symp. Theory of Computing, pp. 786-795, 1993.
2. M. Blum, "Designing Programs to Check Their Work," Int'l Computer Science Inst. Tech. Report TR-88-009, Dec. 1988.
3. M. Blum and S. Kannan, "Designing Programs that Check Their Work," Proc. 21st Symp. Theory of Computing, pp. 86-97, 1989.
4. M. Blum, M. Luby, and R. Rubinfeld, "Self-Testing/Correcting with Applications to Numerical Problems," J. Computer and System Sciences, vol. 47, pp. 549-95, Dec. 1993.
5. M. Blum, W. Evans, P. Gemmell, S. Kannan, and M. Naor, "Checking the Correctness of Memories," Algorithmica, vol. 12, pp. 225-244, Aug.-Sept. 1994.
6. M. Blum and H. Wasserman, "Software Reliability Via Run-Time Result-Checking," http://http.cs.berkeley.edu/∼blum/ (current as of Apr. 8, 1996).
7. Also printed as "Program Result-Checking: A Theory of Testing Meets a Test of Theory," Proc. 35th Symp. Foundations of Computer Science, pp. 382-392, 1994.
8. C. Boettcher and D.J. Mellema, "Program Checkers: Practical Applications to Real-Time Software," Test Facility Working Group Conf., 1995.
9. R. Butler and G. Finelli, "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Trans. Software Engineering, vol. 19, pp. 3-12, Jan. 1993.
10. R. Freivald, "Fast Probabilistic Algorithms," Lecture Notes in Computer Science, vol. 74: Mathematical Foundations of Computer Science, pp. 57-69. Springer-Verlag, 1979.
11. R. Freivald, "Fast Probabilistic Verification of Number Multiplication," Automatic Control and Computer Sciences, vol. 13, no. 1, pp. 37-39, 1979.
12. P. Gemmell, R. Lipton, R. Rubinfeld, M. Sudan, and A. Wigderson, "Self-Testing/Correcting for Polynomials and for Approximate Functions," Proc. 23rd Symp. Theory of Computing, pp. 32-42, 1991.
13. R. Rubinfeld, "On the Robustness of Functional Equations," Proc. 35th Symp. Foundations of Computer Science, pp. 288-299, 1994.
14. F. Vainstein, "Error Detection and Correction in Numerical Computations by Algebraic Methods," Proc. Ninth Int'l Symp. Applied Algebra, Algebraic Algorithms and Error-Detecting Codes, pp. 456-464, 1991.