70 search results - page 1 / 14 » An Application of Abstract Interpretation to Floating Point ... |
SAS
1992
Springer
13 years 9 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
FMCAD
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
ERSA
2004
13 years 6 months ago
2004
Abstract-- Technological advances have made FPGAs an attractive platform for the acceleration of complex scientific applications. These applications demand high performance and hig...
CAV
2009
Springer
13 years 9 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
DAGSTUHL
2008
13 years 6 months ago
2008
Abstract. A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double ...