DocumentCode :
2957929
Title :
Correctly rounded functions for better arithmetic
Author :
Lefèvre, Vincent ; Muller, Jean-Michel
Author_Institution :
Project POLKA, Inst. Nat. de Recherche en Inf. et Autom., Vandoeuvre-les-Nancy, France
Volume :
2
fYear :
2000
fDate :
Oct. 29 2000-Nov. 1 2000
Firstpage :
875
Abstract :
The IEEE 754 standard for floating-point arithmetic requires that the four arithmetic operations and the square root should be correctly rounded. This has improved the accuracy, reliability and portability of numerical software. Unfortunately, such a requirement does not exist for the elementary functions. As a consequence, some libraries that are used everyday are rather poor. The problem of correctly rounding these functions is called the "Table Maker\´s Dilemma". After a survey on this problem, we give some new results. They show that correctly rounded functions could be provided at a reasonable cost.
Keywords :
IEEE standards; floating point arithmetic; software portability; software reliability; IEEE 754 standard; arithmetic operations; correctly rounded functions; floating-point arithmetic; numerical software; portability; reliability; square root; Cost function; Floating-point arithmetic; Libraries;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Signals, Systems and Computers, 2000. Conference Record of the Thirty-Fourth Asilomar Conference on
Conference_Location :
Pacific Grove, CA, USA
ISSN :
1058-6393
Print_ISBN :
0-7803-6514-3
Type :
conf
DOI :
10.1109/ACSSC.2000.910638
Filename :
910638
Link To Document :
بازگشت