70 search results - page 1 / 14 » An Application of Abstract Interpretation to Floating Point ... |
SAS
1992
Springer
14 years 11 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
FMCAD
2000
Springer
14 years 10 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
14 years 8 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
14 years 10 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
14 years 8 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 ...