A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers

Florian Faissole
Florian Faissole
Vincent Tourneur
Vincent Tourneur

ARITH, pp. 69-75, 2018.

Cited by: 0|Bibtex|Views0|Links
EI

Abstract:

Some modern processors include decimal floating-point units, with a conforming implementation of the IEEE-754 2008 standard. Unfortunately, many algorithms from the computer arithmetic literature are not correct anymore when computations are done in radix 10. This is in particular the case for the computation of the average of two floatin...More

Code:

Data:

Your rating :
0

 

Tags
Comments