Pentium FDIV bug (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Pentium FDIV bug" in English language version.

refsWebsite
Global rank English rank
2nd place
2nd place
1st place
1st place
18th place
17th place
1,118th place
825th place
11th place
8th place
415th place
327th place
low place
low place
low place
low place
4,878th place
4,120th place
3,496th place
2,340th place
2,431st place
1,607th place
low place
low place
7th place
7th place
low place
low place
6,214th place
4,509th place
9th place
13th place
8,240th place
4,998th place
14th place
14th place
424th place
310th place
2,465th place
1,383rd place
4th place
4th place
1,185th place
840th place
5,196th place
3,635th place
low place
7,385th place
low place
low place
153rd place
151st place

acm.org

dl.acm.org

archive.today

byte.com

computer.org

crn.com

davefaq.com

doi.org

  • Edelman, Alan (January 1, 1997). "The Mathematics of the Pentium Division Bug" (PDF). SIAM Review. 39 (1): 54–67. Bibcode:1997SIAMR..39...54E. doi:10.1137/S0036144595293959. Retrieved April 11, 2021.
  • Coe, T.; Mathisen, T.; Moler, C.; Pratt, V. (1995). "Computational aspects of the Pentium affair" (PDF). IEEE Computational Science and Engineering. 2 (1): 18–30. doi:10.1109/99.372929. Retrieved April 13, 2021.
  • Cipra, Barry Arthur (January 13, 1995). "How number theory got the best of the Pentium chip". Science. 267 (5195): 175. Bibcode:1995Sci...267..175C. doi:10.1126/science.267.5195.175. PMID 17791336. S2CID 19898103.
  • Price, D. (April 1995). "Pentium FDIV flaw-lessons learned". IEEE Micro. 15 (2): 86–88. doi:10.1109/40.372360.
  • Clarke, E. M.; Khaira, M.; Zhao, X. (1996). "Word level model checking---avoiding the Pentium FDIV error". Proceedings of the 33rd annual conference on Design automation conference - DAC '96. pp. 645–648. doi:10.1145/240518.240640. ISBN 0897917790. S2CID 2500033. Retrieved April 29, 2021.
  • O'Leary, J. (2004). "Formal verification in intel cpu design". Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. p. 152. doi:10.1109/MEMCOD.2004.1459841. ISBN 0-7803-8509-8. Retrieved April 29, 2021.
  • Kaivola, Roope; Ghughal, Rajnish; Narasimhan, Naren; Telfer, Amber; Whittemore, Jesse; Pandav, Sudhindra; Slobodová, Anna; Taylor, Christopher; Frolov, Vladimir; Reeber, Erik; Naik, Armaghan (2009). "Replacing Testing with Formal Verification in Intel® Core™ i7 Processor Execution Engine Validation". Computer Aided Verification. 5643: 414–429. doi:10.1007/978-3-642-02658-4_32.

findarticles.com

harvard.edu

ui.adsabs.harvard.edu

  • Edelman, Alan (January 1, 1997). "The Mathematics of the Pentium Division Bug" (PDF). SIAM Review. 39 (1): 54–67. Bibcode:1997SIAMR..39...54E. doi:10.1137/S0036144595293959. Retrieved April 11, 2021.
  • Cipra, Barry Arthur (January 13, 1995). "How number theory got the best of the Pentium chip". Science. 267 (5195): 175. Bibcode:1995Sci...267..175C. doi:10.1126/science.267.5195.175. PMID 17791336. S2CID 19898103.

helpwithwindows.com

informit.com

intel.com

ku.edu

ipsr.ku.edu

mathworks.com

  • Moler, Cleve (Winter 1995). "A Tale of Two Numbers" (PDF). MATLAB News and Notes. MathWorks. Retrieved April 21, 2021.

measuringworth.com

microsoft.com

technet.microsoft.com

mit.edu

www-math.mit.edu

  • Edelman, Alan (January 1, 1997). "The Mathematics of the Pentium Division Bug" (PDF). SIAM Review. 39 (1): 54–67. Bibcode:1997SIAMR..39...54E. doi:10.1137/S0036144595293959. Retrieved April 11, 2021.

nih.gov

pubmed.ncbi.nlm.nih.gov

notebookarchive.org

nytimes.com

semanticscholar.org

api.semanticscholar.org

trnicely.net

uni-jena.de

users.fmi.uni-jena.de

vt.edu

people.cs.vt.edu

web.archive.org

youtube.com