Manuel Blum, Hal Wasserman  Home/Search
Context Related
| berkeley.edu/~blum/pentium.ps berkeley.edu/~halw/pentium.ps cmu.edu/~mblum/research/pd...pentium.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~blum...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We review the field of result-checking and suggest that it be extended to a methodology for enforcing hardware/software reliability. We thereby formulate a vision for "self-monitoring" hardware/software whose reliability is augmented through embedded suites of run-time correctness checkers. In particular, we suggest that embedded checkers and correctors may be employed to safeguard against arithmetic errors such as that which has bedeviled the Intel Pentium Microprocessor. We specify checkers... (Update)
Context of citations to this paper: More
.... BLR93] has led to efficient and remarkably simple methods of testing programs that are bothprovably goodand practically useful [BW94a, BW94b] Related concepts of result checking [BK89] and self correction [BLR93, Lip91] have also proved themselves to be very useful in ensuring...
...on the adopted CED technique, that represent a trade off between costs and effectiveness. The most promising ones are: Self Checking Sw [6][7] 8] Assertions [9] 10] Dual Processor [11] and FLIW [11] 12] Nominal SW, checker HW, and checking SW This class of solutions adopts a...
Cited by: More
A Light-Weight Framework for Hardware Verification - Kern, Ono-Tesfaye, Greenstreet (Correct)
On-Line Fault Detection in a Hardware/Software.. - Bolchini, Pomante.. (2001) (Correct)
Self-Testing Without The Generator Bottleneck - Ergün, Kumar, Sivakumar (Correct)
Active bibliography (related documents): More All
0.5: Software Reliability via Run-Time Result-Checking - Wasserman, Blum (1994) (Correct)
0.2: Self-Testing/Correcting Protocols - Franklin, Garay, Yung (Correct)
0.1: The Weizmann Workshop on Probabilistic Proof Systems - Feige, (Eds.) (1994) (Correct)
Similar documents based on text: More All
0.2: Hal Wasserman - School Of Computer (Correct)
0.1: Detectors and Correctors: A Theory of Fault-Tolerance Components - Arora, Kulkarni (1998) (Correct)
0.1: Self-Correcting for Function Fields of Finite.. - Blum, Codenotti.. (Correct)
Related documents from co-citation: More All
8: Program result-checking: A theory of testing meets a test of theory (context) - Blum, Wasserman - 1994
8: Checking approximate computations over the reals - Ar, Blum et al. - 1993
8: Designing Programs that Check their Work - Blum, Kannan - 1989
BibTeX entry: (Update)
M. Blum and H. Wasserman, "Reflections on the Pentium Division Bug," http://http.cs.berkeley.edu/ halw/. To appear in IEEE Transactions on Computers. http://citeseer.ist.psu.edu/blum95reflections.html More
@misc{ blum-reflections,
author = "M. Blum and H. Wasserman",
title = "Reflections on the Pentium Division Bug",
text = "M. Blum and H. Wasserman, Reflections on the Pentium Division Bug, http://http.cs.berkeley.edu/
halw/. To appear in IEEE Transactions on Computers.",
url = "citeseer.ist.psu.edu/blum95reflections.html" }
Citations (may not include all citations):192 Designing programs that check their work - Blum, Kannan - 1989
64 The infeasibility of quantifying the reliability of life-cri.. - Butler, Finelli - 1993
55 Software reliability via run-time result-checking - Blum, Wasserman - 1994
54 Checking the correctness of memories - Blum, Evans et al. - 1994
40 Designing programs to check their work (context) - Blum - 1988
23 Checking approximate computations over the reals - Ar, Blum et al. - 1993
12 the robustness of functional equations - Rubinfeld - 1994
7 Self-testing/correcting for polynomials and for approximate .. - Gemmell, Lipton et al. - 1991
2 Program checkers: practical applications to real-time softwa.. (context) - Boettcher, Mellema - 1995
1 Fast probabilistic algorithms (context) - Freivald - 1979
1 Fast probabilistic verification of number multiplication (context) - Freivald - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://http.cs.berkeley.edu/~blum/publications.html):
Software Reliability via Run-Time Result-Checking - Wasserman, Blum (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC