research-article

Open access

Small-data computing: correct calculator arithmetic

Author:

Hans-J. BoehmAuthors Info & Claims

Communications of the ACM, Volume 60, Issue 8

Pages 44 - 49

https://doi.org/10.1145/2911981

Published: 24 July 2017 Publication History

All formats PDF

Abstract

Rounding errors are usually avoidable, and sometimes we can afford to avoid them.

References

[1]

Goldberg, D. What every computer scientist should know about floatingpoint arithmetic. ACM Computing Surveys 23, 1 (1991), 5-48.

Digital Library

Google Scholar

[2]

Cochran, D.S. Internal programming of the 9100A Calculator. HP Journal, Sept. 1968.

Google Scholar

[3]

Mihai Preda, https://code.google.com/p/aritycalculator/

Google Scholar

[4]

E. Bishop, and D. Bridges. Constructive Analysis. Springer Science & Business Media, 1985.

Crossref

Google Scholar

[5]

Boehm, HJ., and Cartwright, R. Exact real arithmetic: Formulating real numbers as functions. Rice University, Department of CS, 1988.

Google Scholar

[6]

Aberth, O. A precise numerical analysis program. Commun. ACM 17, 9 (Sept. 1974), 509-513.

Digital Library

Google Scholar

[7]

Ménissier Morain, V. Arbitrary precision real arithmetic: Design and algorithms. J. Logic and Algebraic Programming 64, 1 (2005), 13-39.

Crossref

Google Scholar

[8]

Vuillemin, J.E. Exact real computer arithmetic with continued fractions. IEEE Trans. Computers 39, 8 (1990), 1087-1105.

Digital Library

Google Scholar

[9]

Lee, Jr, V.A. and Boehm, H-J. Optimizing programs over the constructive reals. ACM, 1990.

Digital Library

Google Scholar

[10]

Boehm, H.J. The constructive reals as a Java library. J. Logic and Algebraic Programming 64, 1 (2005), 3-11.

Crossref

Google Scholar

Cited By

View all

Ghica DAmbridge TGorla D(2021)Global optimisation with constructive realsProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470549(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470549
Boehm HDonaldson ATorlak E(2020)Towards an API for the real numbersProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3386037(562-576)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3386037

Index Terms

Small-data computing: correct calculator arithmetic
1. Human-centered computing

Recommendations

Small Business Computing for Dummies with Cdrom
Learning in Small and Large Ubiquitous Computing Environments
EUC '08: Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Volume 01

GlobalEdu is a generic model created to support learning in ubiquitous computing environments. This model has the necessary support to implement learning-related functionalities in ubiquitous environments. The basic ubiquitous computing support must be ...
Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude
PRDC '14: Proceedings of the 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing

Dominant error sources in multi-level cell NAND Flash memories shift threshold voltage levels to either positive or negative values, thus errors are modeled by nonbinary unidirectional channels. However, bidirectional errors can also be caused when ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 60, Issue 8

August 2017

92 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/3127343

Editor:
Andrew A. Chien
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 July 2017

Published in CACM Volume 60, Issue 8

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
23,864
Total Downloads

Downloads (Last 12 months)2,532
Downloads (Last 6 weeks)71

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ghica DAmbridge TGorla D(2021)Global optimisation with constructive realsProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470549(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470549
Boehm HDonaldson ATorlak E(2020)Towards an API for the real numbersProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3386037(562-576)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3386037

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations

Small Business Computing for Dummies with Cdrom

Learning in Small and Large Ubiquitous Computing Environments

Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations