article

Free access

A Simple but Realistic Model of Floating-Point Computation

Editor: John R. Rice Author:

W. S. BrownAuthors Info & Claims

ACM Transactions on Mathematical Software (TOMS), Volume 7, Issue 4

Pages 445 - 480

https://doi.org/10.1145/355972.355975

Published: 01 December 1981 Publication History

PDF eReader

References

[1]

BLUE, J.L. A portable Fortran program to find the Euclidean norm of a vector. ACM Trans. Math. Softw. 4, 1 (March 1978), 15-23.

Crossref

Google Scholar

[2]

BROWN, W.S. Some fundamentals of performance evaluation for numerical software. In Performance Evaluation of Numerical Software, L.D. Fosdick (Ed.), North-Holland, Amsterdam, 1979, pp. 17-30.

Google Scholar

[3]

BROWN, W.S. Altran User's Manual, 4th ed. Bell Laboratories, Murray Hill, N.J., 1977.

Google Scholar

[4]

BROWN, W.S. A realistic model of floating-point computation. In Mathematical Software III, John R. Rice (Ed.), Academic Press, New York, 1977, pp. 343-360.

Google Scholar

[5]

BROWN, W.S. AND FELDMAN, S.I. Environment parameters and basic functions for floatingpoint computation. ACM Trans. Math. Softw. 6, 4 (Dec. 1980), 510-523.

Crossref

Google Scholar

[6]

BURKS, A.W., GOLDSTINE, H.H., AND VON NEUMANN, J. Preliminary discussion of the logical design of an electronic computing instrument. In Collected Works of John Von Neumann, A.H. Taub (Ed.), vol. 5, Pergamon Press, New York, 1963, pp. 34-79. (See especially p. 57.)

Google Scholar

[7]

COONEN, J., KAHAN, W., PALMER, J., PITTMAN, T., AND STEVENSON, D. A proposed standard for binary floating point arithmetic. ACM SIGNUM Newsl. (Special Issue) (Oct. 1979), 4-12.

Crossref

Google Scholar

[8]

COWELL, W. (Ed.) Portability of Numerical Software. Springer-Verlag, New York, 1977.

Crossref

Google Scholar

[9]

DEKKER, T.J. Correctness proof and machine arithmetic. In Performance Evaluation of Numerical Software, L.D. Fosdick (Ed.), North-Holland, Amsterdam, 1979, pp. 31-44.

Google Scholar

[10]

FORD, B. Parameterization of the environment for transportable numerical software. ACM Trans. Math. Softw. 4, 2 (June 1978), 100-103.

Crossref

Google Scholar

[11]

FORSYTHE, G.E., AND MOLER, C.B. Computer Solution of Linear Algebraic Systems. Prentice- Hall, Englewood Cliffs, N.J., 1967. (See especially p. 87.)

Google Scholar

[12]

Fox, P.A., HALL, A.D., AND SCHRYER, N.L. The PORT mathematical subroutine library. ACM Trans. Math. Softw. 4, 2 (June 1978), 104-126.

Crossref

Google Scholar

[13]

FRALEY, R., AND WALTHER, S. Proposal to eliminate denormalized numbers. ACM SIGNUM Newsl. (Special Issue) (Oct. 1979), 22-23.

Crossref

Google Scholar

[14]

GENTLEMAN, W.M., AND MAROVICH, S.B. More on algorithms that reveal properties of floating point arithmetic units. Commun. ACM 17, 5 (May 1974), 276-277.

Crossref

Google Scholar

[15]

KAHAN, W. Private c~)mmunication.

Google Scholar

[16]

KNUTH, D.E. Accuracy of floating-point arithmetic. In Seminumerical Algorithms, vol. 2 of The Art of Computer Programming, Addison-Wesley, Reading, Mass., 1969, pp. 195-210.

Google Scholar

[17]

LAWSON, C.L., HANSON, R. J., KINCAID, D. R., AND KROGH, F.T. Basic linear algebra subprograms for Fortran usage. ACM Trans. Math. Softw. 5, 3 (Sept. 1979), 324-325.

Crossref

Google Scholar

[18]

MALCOLM, M.A. Algorithms to reveal properties of floating-point arithmetic. Commun. ACM 15, 11 (Nov. 1972), 949-951.

Crossref

Google Scholar

[19]

MOORE, R.E. Interval Analysis. Prentice-Hall, Englewood Cliffs, N.J., 1966.

Google Scholar

[20]

PAYNE, M., AND STRECKER, W. Draft proposal for a binary normalized floating point standard. ACM SIGNUM Newsl. (Special Issue) (Oct. 1979), 24-28.

Crossref

Google Scholar

[21]

REINSCH, C.H. Principles and preferences for computer arithmetic. ACM SIGNUM Newsl. 14, 1 (March 1979), 12-27.

Crossref

Google Scholar

[22]

SCHRYER, N.L. A test of a computer's floating-point arithmetic unit. Computing Science Tech. Rep. No. 89, Bell Laboratories, Murray Hill, N. J., Feb. 1981.

Google Scholar

[23]

WILKINSON, J.H. The Algebraic Eigenvalue Problem. Oxford University Press, New York, 1965.

Crossref

Google Scholar

[24]

WILKINSON, J.H. Rounding Errors in Algebraic Processes. Prentice-Hall, Englewood Cliffs, N.J., 1963.

Crossref

Google Scholar

Cited By

View all

Rosen J(2022)The Ada Numerics ModelACM SIGAda Ada Letters10.1145/3577949.357795342:1(43-45)Online publication date: 19-Dec-2022
https://dl.acm.org/doi/10.1145/3577949.3577953
Feng JRong CSun FGuo DLi Y(2020)PMFProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/33810064:1(1-21)Online publication date: 18-Mar-2020
https://dl.acm.org/doi/10.1145/3381006
Garg RSengupta S(2020)He Is Just Like MeProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/33810024:1(1-24)Online publication date: 14-Sep-2020
https://dl.acm.org/doi/10.1145/3381002
Show More Cited By

Index Terms

A Simple but Realistic Model of Floating-Point Computation
1. Mathematics of computing
  1. Mathematical analysis
    1. Numerical analysis
      1. Arbitrary-precision arithmetic
      2. Interval arithmetic
  2. Mathematical software
2. Theory of computation
  1. Randomness, geometry and discrete structures
    1. Error-correcting codes

Recommendations

Decimal Floating-Point Multiplication

Decimal multiplication is important in many commercial applications including financial analysis, banking, tax calculation, currency conversion, insurance, and accounting. This paper presents the design of two decimal floating-point multipliers: one ...
Hardware Designs for Decimal Floating-Point Addition and Related Operations

Decimal arithmetic is often used in commercial, financial, and Internet-based applications. Due to the growing importance of decimal floating-point (DFP) arithmetic, the IEEE 754 Draft Standard for Floating-Point Arithmetic (IEEE P754) includes ...
Fast decimal floating-point division

A new implementation for decimal floating-point (DFP) division is introduced. The algorithm is based on high-radix SRT division with the recurrence in a new decimal signed-digit format. Quotient digits are selected using comparison multiples, where the ...

Comments

Information & Contributors

Information

Published In

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1981

Published in TOMS Volume 7, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

55
Total Citations
View Citations
1,085
Total Downloads

Downloads (Last 12 months)167
Downloads (Last 6 weeks)20

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Rosen J(2022)The Ada Numerics ModelACM SIGAda Ada Letters10.1145/3577949.357795342:1(43-45)Online publication date: 19-Dec-2022
https://dl.acm.org/doi/10.1145/3577949.3577953
Feng JRong CSun FGuo DLi Y(2020)PMFProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/33810064:1(1-21)Online publication date: 18-Mar-2020
https://dl.acm.org/doi/10.1145/3381006
Garg RSengupta S(2020)He Is Just Like MeProceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies10.1145/33810024:1(1-24)Online publication date: 14-Sep-2020
https://dl.acm.org/doi/10.1145/3381002
Kronbichler MKormann K(2019)Fast Matrix-Free Evaluation of Discontinuous Galerkin Finite Element OperatorsACM Transactions on Mathematical Software10.1145/332586445:3(1-40)Online publication date: 8-Aug-2019
https://dl.acm.org/doi/10.1145/3325864
Muller JBrunie Nde Dinechin FJeannerod CJoldes MLefèvre VMelquiond GRevol NTorres SMuller JBrunie Nde Dinechin FJeannerod CJoldes MLefèvre VMelquiond GRevol NTorres S(2018)Enhanced Floating-Point Sums, Dot Products, and Polynomial ValuesHandbook of Floating-Point Arithmetic10.1007/978-3-319-76526-6_5(163-192)Online publication date: 3-May-2018
https://doi.org/10.1007/978-3-319-76526-6_5
Kugler L(2015)Touching the virtualCommunications of the ACM10.1145/278849658:8(16-18)Online publication date: 23-Jul-2015
https://dl.acm.org/doi/10.1145/2788496
Wang D(2015)From the EDVAC to WEBVACsCommunications of the ACM10.1145/271407958:8(44-51)Online publication date: 23-Jul-2015
https://dl.acm.org/doi/10.1145/2714079
Brain MTinelli CRuemmer PWahl T(2015)An Automatable Formal Semantics for IEEE-754 Floating-Point ArithmeticProceedings of the 2015 IEEE 22nd Symposium on Computer Arithmetic10.1109/ARITH.2015.26(160-167)Online publication date: 22-Jun-2015
https://dl.acm.org/doi/10.1109/ARITH.2015.26
Sinclair R(2014)Where Is Mathematics? [Point of View]Proceedings of the IEEE10.1109/JPROC.2013.2291291102:1(2-4)Online publication date: Jan-2014
https://doi.org/10.1109/JPROC.2013.2291291
Boland DConstantinides G(2013)A Scalable Precision Analysis FrameworkIEEE Transactions on Multimedia10.1109/TMM.2012.223166615:2(242-256)Online publication date: 1-Feb-2013
https://dl.acm.org/doi/10.1109/TMM.2012.2231666
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Decimal Floating-Point Multiplication

Hardware Designs for Decimal Floating-Point Addition and Related Operations

Fast decimal floating-point division

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations