Sciweavers

26 search results - page 2 / 6
» arith 2009
Sort
View
ARITH
2009
IEEE
15 years 4 months ago
Certified and Fast Computation of Supremum Norms of Approximation Errors
Sylvain Chevillard, Mioara Joldes, Christoph Quiri...
ARITH
2009
IEEE
15 years 4 months ago
Implementation Specific Verification of Divide and Square Root Instructions
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman...
ARITH
2009
IEEE
15 years 2 months ago
On the Computation of Correctly-Rounded Sums
Peter Kornerup, Vincent Lefèvre, Nicolas Lo...
ARITH
2009
IEEE
15 years 4 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
15 years 4 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