Results 181 to 190 of about 403 (212)

Unum: Adaptive Floating-Point Arithmetic

2016 Euromicro Conference on Digital System Design (DSD), 2016
Usually, arithmetic units represent numeric data-types employing fixed-length representations. For instance, hardware representations of real numbers usually employ fixed-length formats defined by the IEEE Standard 754 (32-bit single-precision, 64-bit double-precision, , floating-point numbers).
openaire   +2 more sources

Formalization and implementation of floating-point arithmetics

Computing, 1975
The paper is intended to show that floating-point arithmetic can be implemented in a way which leads to reasonable mathematical structures as described in chapters 5 and 6. It turns out for instance that all the rules of the minus-operator of the real numbers can be saved and that with respect to ≦ and ≧ inequalities can be manipulated as if they were ...
openaire   +2 more sources

Floating-Point Arithmetic

2019
You already know about integer arithmetic; now we will introduce some floating-point computations. There is nothing difficult here; a floating-point value has a decimal point in it and zero or more decimals. We have two kinds of floating-point numbers: single precision and double precision.
openaire   +1 more source

Floating point arithmetic and digital filters

IEEE Transactions on Signal Processing, 1992
The roundoff noise properties of floating point digital filters are examined. To make the analysis tractable, a high level model to deal with the errors in the inner product operation is developed. This model establishes a broad connection between coefficient sensitivity and roundoff noise.
openaire   +1 more source

Is Floating-Point. Arithmetic Still Adequate?

1988
For complicated numerical problems, the error analysis has to be performed by the computer. Several methods for automated error analysis are known. Floating-point arithmetic has to be augmented and programming languages for scientific computation have to be provided (PASCAL-SC and FORTRAN-SC) for that purpose.
openaire   +1 more source

Accurate and Reliable Computing in Floating-Point Arithmetic

2010
Methods will be discussed on how to compute accurate and reliable results in pure floating-point arithmetic. In particular, verification methods with INTLAB and error-free transformations will be presented in some detail.
openaire   +1 more source

FLOATING-POINT ARITHMETIC

1981
Ulrich W. Kulisch, Willard L. Miranker
openaire   +1 more source

Floating-point arithmetic in COBOL

Communications of the ACM, 1962
openaire   +2 more sources

What Every Computer Scientist Should Know About Floating-Point Arithmetic

ACM Computing Surveys, 1991
David M. Goldberg
exaly  

Floating-Point Arithmetic

2017
Sylvie Boldo, Guillaume Melquiond
openaire   +1 more source