Hans-J. Boehm
Skip Abstract Section
Abstract
Rounding errors are usually avoidable, and sometimes we can afford to avoid them.
- Goldberg, D. What every computer scientist should know about floatingpoint arithmetic. ACM Computing Surveys 23, 1 (1991), 5-48. Google Scholar
Digital Library
- Cochran, D.S. Internal programming of the 9100A Calculator. HP Journal, Sept. 1968.Google Scholar
- Mihai Preda, https://code.google.com/p/aritycalculator/Google Scholar
- E. Bishop, and D. Bridges. Constructive Analysis. Springer Science & Business Media, 1985.Google ScholarCross Ref
- Boehm, HJ., and Cartwright, R. Exact real arithmetic: Formulating real numbers as functions. Rice University, Department of CS, 1988.Google Scholar
- Aberth, O. A precise numerical analysis program. Commun. ACM 17, 9 (Sept. 1974), 509-513. Google ScholarDigital Library
- Ménissier Morain, V. Arbitrary precision real arithmetic: Design and algorithms. J. Logic and Algebraic Programming 64, 1 (2005), 13-39.Google ScholarCross Ref
- Vuillemin, J.E. Exact real computer arithmetic with continued fractions. IEEE Trans. Computers 39, 8 (1990), 1087-1105. Google ScholarDigital Library
- Lee, Jr, V.A. and Boehm, H-J. Optimizing programs over the constructive reals. ACM, 1990.Google ScholarDigital Library
- Boehm, H.J. The constructive reals as a Java library. J. Logic and Algebraic Programming 64, 1 (2005), 3-11.Google ScholarCross Ref
Index Terms
- Small-data computing: correct calculator arithmetic
Recommendations
Learning in Small and Large Ubiquitous Computing Environments
EUC '08: Proceedings of the 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - Volume 01GlobalEdu 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 ComputingDominant 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