-
Simultaneous floating-point sine and cosine for VLIW integer processors
Accepted for publication in the proceedings of the 23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012). -
Rigorous Polynomial Approximations and Applications
For purposes of evaluation and manipulation, mathematical functions f are commonly replaced by approximation polynomials p. Examples include floating-point... -
Efficient algorithms for verified scientific computing : Numerical linear alg...
Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results.... -
Non-generic floating-point software support for embedded media processing
International audience -
A New Abstract Domain for the Representation of Mathematically Equivalent Exp...
International audience -
MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding
This paper presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend... -
The Euclidean Division Implemented with a Floating-Point Division and a Floor
We study conditions under which the Euclidean division can be implemented using a floating-point division followed by a floor function. We show that under reasonable... -
Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval...
International audience -
A floating-point library for integer processors
This paper presents a C library for the software support of single precision floating-point (FP) arithmetic on processors without FP hardware units such as VLIW or DSP... -
Taking architecture and compiler into account in formal proofs of numerical p...
On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies... -
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic
International audience -
On the componentwise accuracy of complex floating-point division with an FMA
International audience -
Comparison between binary64 and decimal64 floating-point numbers
International audience -
RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computat...
International audience -
GPU-Accelerated Generation of Correctly Rounded Elementary Functions
International audience -
Synthesizing Accurate Floating-Point Formulas
International audience -
Some issues related to double roundings
International audience -
On Ziv's rounding test
International audience -
Faster Gaussian Lattice Sampling Using Lazy Floating-Point Arithmetic
International audience -
On the error of Computing ab + cd using Cornea, Harrison and Tang's method
International audience
