Sciweavers

11 search results - page 1 / 3
» Computing correctly rounded integer powers in floating-point...
Sort
View
CORR
2007
Springer
110views Education» more  CORR 2007»
13 years 5 months ago
Computing Integer Powers in Floating-Point Arithmetic
We introduce two algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. We ...
Peter Kornerup, Vincent Lefèvre, Jean-Miche...
ARITH
2007
IEEE
13 years 11 months ago
Decimal Floating-Point Adder and Multifunction Unit with Injection-Based Rounding
Shrinking feature sizes gives more headroom for designers to extend the functionality of microprocessors. The IEEE 754R working group has revised the IEEE 754-1985 Standard for Bi...
Liang-Kai Wang, Michael J. Schulte
ARITH
2001
IEEE
13 years 9 months ago
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
We give the results of our search for the worst cases for correct rounding of the major elementary functions in double precision floating-point arithmetic. These results allow the...
Vincent Lefèvre, Jean-Michel Muller
TOMS
2010
75views more  TOMS 2010»
13 years 3 months ago
Computing correctly rounded integer powers in floating-point arithmetic
Peter Kornerup, Christoph Quirin Lauter, Vincent L...
ARITH
2009
IEEE
13 years 9 months ago
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
Claude-Pierre Jeannerod, Herve Knochel, Christophe...