W. S. Brown 1981. "A simple but realistic model of floating-point computation." ACM Transactions on Mathematical Software 7 :4 (December 1981). pp. 445--480. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Handling Floating-Point Exceptions in Numeric Programs - Hauser (1996) (5 citations) (Correct)
A precision independent tool for testing floating-point .. - Cuyt, Verdonk.. (2000) (Correct)
A Mechanically-Checked Correctness Proof of a Floating-Point.. - Wilding (1990) (Correct)
The advantages of Fortran 90 - Reid (1994) (1 citation) (Correct)
Information technology -- Language independent arithmetic --.. - Standard (1994) (5 citations) (Correct)
Borneo 1.0.2 - Adding IEEE 754 floating point support to Java - Darcy (1998) (Correct)
The Numerics Annex and Related Material - Dritz Argonne (Correct)
G Numerics - The Numerics (Correct)
On Properties of Floating Point Arithmetics: Numerical Stability.. - Priest (1992) (16 citations) (Correct)
Information technology - Language independent arithmetic - Part.. - Schaffert (1993) (Correct)
A Test of a Computer's Floating-Point Arithmetic Unit - Schryer (1981) (5 citations) (Correct)
Handling Floating-point Exceptions in Numeric - Programs John Hauser (Correct)
Formal Methods Applied to a Floating Point Number System - Geoff Barrett July (1989) (31 citations) (Correct)
Unrestricted Faithful Rounding is Good Enough for Some LNS.. - Arnold, Walter (2001) (Correct)
Why Do We Need a Floating-Point Arithmetic Standard? - Kahan (1981) (2 citations) (Correct)
Literature on Enclosure Methods and Related Topics - Gerd Bohlender (1996) (Correct)
What Every Computer Scientist Should Know About Floating-Point.. - Hm Et Ic (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