Sciweavers

26 search results - page 2 / 6
» arith 2009
Sort
View
ARITH
2009
IEEE
13 years 11 months ago
Certified and Fast Computation of Supremum Norms of Approximation Errors
Sylvain Chevillard, Mioara Joldes, Christoph Quiri...
ARITH
2009
IEEE
13 years 11 months ago
Implementation Specific Verification of Divide and Square Root Instructions
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...
ARITH
2009
IEEE
13 years 10 months ago
On the Computation of Correctly-Rounded Sums
Peter Kornerup, Vincent Lefèvre, Nicolas Lo...
ARITH
2009
IEEE
13 years 11 months ago
A Decimal Floating-Point Adder with Decoded Operands and a Decimal Leading-Zero Anticipator
The IEEE 754-2008 Standard for Floating-Point Arithmetic was officially approved this year. One of the most
Liang-Kai Wang, Michael J. Schulte
ARITH
2009
IEEE
13 years 11 months ago
IEEE 754-2008 Decimal Floating-Point for Intel
A brief description is provided of the decimal floating-point support available for Intel® Architecture processors, compliant with the IEEE Standard 754-2008 for Floating-Point A...
Marius Cornea