Affiliation:
1. Stanford Univ., Stanford, CA
Abstract
Two algorithms are presented in the form of Fortran subroutines. Each subroutine computes the radix and number of digits of the floating-point numbers and whether rounding or chopping is done by the machine on which it is run. The methods are shown to work on any “reasonable” floating-point computer.
Publisher
Association for Computing Machinery (ACM)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Basic Properties and Algorithms;Handbook of Floating-Point Arithmetic;2018
2. Bibliography;Floating-Point Algorithms and Formal Proofs;2017
3. Handbook of Floating-Point Arithmetic;2010
4. Formal Verification of Floating-Point Programs;18th IEEE Symposium on Computer Arithmetic (ARITH '07);2007-06
5. Embedded System Paranoia: a tool for testing embedded system arithmetic;Information and Software Technology;2005-06