A Proposed Radix- and Word-length-independent Standard for Floating-point Arithmetic

Authors:
W. Cody;J. Coonen;D. Gay;K. Hanson;D. Hough;W. Kahan;R. Karpinski;J. Palmer;F. Ris;D. Stevenson
Affiliations:
Argonne National Laboratory;Apple Computer;AT&TBell Laboratories;Apple Computer;Apple Computer;University of California, Berkeley;University of California, San Francisco;Intel;IBM;Zilog, Inc.
Venue:
IEEE Micro
Year:
1984

Citing 0
Cited 6

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Investigating the Limits of SOAP Performance for Scientific Computing

HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
Scientific Computing in the $C^H$ Programming Language

Scientific Programming
Architecture and software support in IBM S/390 parallel enterprise servers for IEEE floating-point arithmetic

IBM Journal of Research and Development
Pitfalls of a full floating-point proof: example on the formal proof of the veltkamp/dekker algorithms

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
ε-optimization schemes and L-bit precision: Alternative perspectives for solving combinatorial optimization problems

Discrete Optimization

Quantified Score

Hi-index	0.00

Visualization

Abstract

Besides making the proposed IEEE 854 standard available for comment, this article explains how to overcome some of its implementation problems.