Computational Aspects of the Pentium Affair

Authors:
Tim Coe;Terje Mathisen;Cleve Moler;Vaughan Pratt
Affiliations:
-;-;-;-
Venue:
IEEE Computational Science & Engineering
Year:
1995

Citing 0
Cited 5

Computational science and engineering

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Verification of Finite-State-Machine Refinements Using a Symbolic Methodology

CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
A symbolic core approach to the formal verification of integrated mixed-mode applications

EDTC '97 Proceedings of the 1997 European conference on Design and Test
Enabling Customer-Centricity Using Wikis and the Wiki Way

Journal of Management Information Systems
What every agent-based modeller should know about floating point arithmetic

Environmental Modelling & Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

These authors helped solve the Pentium chip mystery (identifying the processor's floating-point division bug) and have designed a practical software workaround. This is the story of exactly how the problem was discovered, and what users need to know about the mathematics and computer engineering involved before deciding whether to replace the chip, install the workaround provided or do nothing.