DocumentCode
610860
Title
SIPE: Small Integer Plus Exponent
Author
Lefevre, V.
Author_Institution
INRIA, Univ. de Lyon, Lyon, France
fYear
2013
fDate
7-10 April 2013
Firstpage
99
Lastpage
106
Abstract
SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C header file, to perform floating-point computations in very low precisions with correct rounding to nearest in radix 2. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), FMA, and miscellaneous comparisons and conversions. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
Keywords
IEEE standards; floating point arithmetic; C header file; FMA; GNU MPFR; SIPE; addition; floating-point computations; hardware IEEE-754 floating point; mini-library; multiplication; radix 2; small integer plus exponent; subtraction; timing comparisons; Algorithm design and analysis; Computers; Context; Hardware; Libraries; Standards; Timing; arithmetic operations; correct rounding; low precision;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Arithmetic (ARITH), 2013 21st IEEE Symposium on
Conference_Location
Austin, TX
ISSN
1063-6889
Print_ISBN
978-1-4673-5644-2
Type
conf
DOI
10.1109/ARITH.2013.22
Filename
6545897
Link To Document