Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

SAS
1992
Springer

favoriteEmaildiscussreport

124views Formal Methods» more SAS 1992»

An Application of Abstract Interpretation to Floating Point Arithmetic

13 years 8 months ago

An Application of Abstract Interpretation to Floating Point Arithmetic

Download www.cert.fr

Interpretation to Floating point Arithmetic Yamine A

Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,

Real-time Traffic

Arithmetic Expressions Plan | Floating Point Arithmetic | Formal Methods | SAS 1992 | Toulouse Cedex Bordeaux |

claim paper

Related Content

» Formal Verification of Floating Point Trigonometric Functions

» Computing LennardJones Potentials and Forces with Reconfigurable Hardware

» On Using FloatingPoint Computations to Help an Exact Linear Arithmetic Decision Procedure

» A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent R...

» Decimal FloatingPoint Algorism for Computers

» A multiFPGA applicationspecific architecture for accelerating a floating point Fourier Int...

» LowCost Microarchitectural Support for Improved FloatingPoint Accuracy

» A MachineChecked Theory of Floating Point Arithmetic

» Decimal FloatingPoint Division Using NewtonRaphson Iteration

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	SAS
Authors	Yamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez

Comments (0)