Reflections on the Pentium division bug

DOI10.1109/12.494097zbMath1052.68533OpenAlexW2146584722MaRDI QIDQ4406359

Manuel Blum, Hal Wasserman

Publication date: 25 June 2003

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.494097

zbMATH Keywords

verificationalgorithmsreliabilitydesign

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (4)

Checker for data structures which sort elements ⋮ Certifying algorithms ⋮ Spot-checkers ⋮ AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

This page was built for publication: Reflections on the Pentium division bug