Sciweavers

ERSA
2004
130views Hardware» more  ERSA 2004»
14 years 25 days ago
Computing Lennard-Jones Potentials and Forces with Reconfigurable Hardware
Abstract-- Technological advances have made FPGAs an attractive platform for the acceleration of complex scientific applications. These applications demand high performance and hig...
Ronald Scrofano, Viktor K. Prasanna
FMCAD
2000
Springer
14 years 3 months ago
Formal Verification of Floating Point Trigonometric Functions
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
John Harrison
ARITH
2003
IEEE
14 years 3 months ago
Representable Correcting Terms for Possibly Underflowing Floating Point Operations
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
Sylvie Boldo, Marc Daumas
SAS
1992
Springer
124views Formal Methods» more  SAS 1992»
14 years 3 months ago
An Application of Abstract Interpretation to Floating Point Arithmetic
Interpretation to Floating point Arithmetic Yamine A
Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,...
ASAP
2008
IEEE
146views Hardware» more  ASAP 2008»
14 years 6 months ago
A multi-FPGA application-specific architecture for accelerating a floating point Fourier Integral Operator
Many complex systems require the use of floating point arithmetic that is exceedingly time consuming to perform on personal computers. However, floating point operators are also h...
Jason Lee, Lesley Shannon, Matthew J. Yedlin, Gary...