Correctly rounded multiplication by arbitrary precision constantsReportar como inadecuado




Correctly rounded multiplication by arbitrary precision constants - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 ARENAIRE - Computer arithmetic Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l-Informatique du Parallélisme

Abstract : We introduce an algorithm for multiplying a floating-point number $x$ by a constant $C$ that is not exactly representable in floating-point arithmetic. Our algorithm uses a multiplication and a fused multiply accumulate instruction. We give methods for checking whether, for a given value of $C$ and a given floating-point format, our algorithm returns a correctly rounded result for any $x$. When it does not, our methods give the values $x$ for which the multiplication is not correctly rounded.

Keywords : FLOATING-POINT ARITHMETIC FUSED-MAC MULTIPLICATION BY A CONSTANT CORRECT ROUNDING COMPUTER ARITHMETIC





Autor: Nicolas Brisebarre - Jean-Michel Muller -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados