52 search results - page 5 / 11 » The New IEEE-754 Standard for Floating Point Arithmetic |
ARITH
2009
IEEE
14 years 2 months ago
2009
IEEE
The IEEE 754-2008 Standard for Floating-Point Arithmetic was officially approved this year. One of the most
ARITH
1999
IEEE
1999
IEEE
Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms
13 years 12 months ago
This paper describes a study of a class of algorithms for the floating-point divide and square root operations, based on the Newton-Raphson iterative method. The two main goals we...
ARITH
2011
IEEE
12 years 7 months ago
2011
IEEE
— This paper presents a number of new high-radix ripple-carry adder designs based on Ling’s addition technique and a recently-published expansion thereof. The proposed adders a...
TPHOL
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
DSD
2003
IEEE
14 years 27 days ago
2003
IEEE
Double precision floating-point arithmetic is inadequate for many scientific computations. This paper presents the design of a quadruple precision floating-point multiplier tha...