Section II describes the 2-steps approach of the radix conversion, section III contains the algorithm for the exponent computation, section IV presents a novel approach of raising 5

Keywords: Computer arithmetic, floating-point numbers, IEEE754 Standard, elementary func- tions, code generator, Metalibm, argument reduction, domain splitting, mixed-radix

The IEEE 754-2008 Standard for Floating-Point Arith- metic [5] specifies binary (radix-2) and decimal (radix-10) floating-point number formats for a variety of precisions..

In particular, in radix-2 floating-point arithmetic, we show that among the set of the algorithms with no comparisons performing only floating-point addi- tions/subtractions, the

In particular, in radix-2 floating-point arithmetic, we show that among the set of the algo- rithms with no comparisons performing only floating- point additions/subtractions, the

This paper is devoted to design of interval observers for Linear Time Varying (LTV) systems and a class of nonlinear time-varying systems in the output canonical form.. An

In this paper, we present general methods to prove the correct rounding of division algo- rithms using Newton-Raphson’s iterations in software, for radix 2 and radix 10

Keywords: Elementary function, CORDIC algorithm, Computer Arithmetic, High Radix..

This work is part of FLIP (floating-point library for integer processor) which is a C library for the software support of single precision FP arithmetic on processors without

Melissae folium, Inulae radix , Angelicae archangelicae radix, Zingiberis rhizoma, Caryophylli flos, Galangae radix, Piperis nigri fructus –, Gentianae radix, Myristicae

Assume floating-point arithmetic adhering to IEEE 754 with rounding unit u (no underflow nor overflow).... Numerical validation with

Key-words: multiple-precision arithmetic, IEEE-754 standard, floating-point arithmetic, correct rounding, elementary function, portable software... MPFR: une biblioth` eque

[r]

Integer, single precision, and double precision zero are represented with all bits set to zero. So called dirty zeroes are eliminated by hardware action. When a

Formal guarantees can be obtained on floating-point algorithms based on the IEEE 754 standard, which precisely specifies floating-point arithmetic and its rounding modes, and a

[r]

However, an alternative decoding technique called Mixed Radix Conversion (MRC) is used in this study. The BEX based on MRC will be used to generate additional residues. BEX offers

We define functions to mimic the IEEE standard floating point arithmetic using the exact multiple precision rational arithmetic of Maple.. Most of them use two parameters: lgfr ,