23 search results - page 1 / 5 » Mixed abstractions for floating-point arithmetic |
FMCAD
2000
Springer
13 years 8 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
SAS
1992
Springer
13 years 8 months ago
1992
Springer
Interpretation to Floating point Arithmetic Yamine A
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
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...
TPHOL
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...