Pages that link to "Item:Q4406359"
From MaRDI portal
The following pages link to Reflections on the Pentium division bug (Q4406359):
Displaying 5 items.
- Checker for data structures which sort elements (Q293137) (← links)
- Certifying algorithms (Q465678) (← links)
- Spot-checkers (Q1577018) (← links)
- The Mathematics of the Pentium Division Bug (Q4337469) (← links)
- AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS (Q5249251) (← links)