70 search results - page 4 / 14 » An Application of Abstract Interpretation to Floating Point ... |
ASAP
2006
IEEE
13 years 9 months ago
2006
IEEE
Abstract--The growth of high-performance application in computer graphics, signal processing and scientific computing is a key driver for high performance, fixed latency, pipelined...
ERSA
2006
13 years 8 months ago
2006
Floating-point summation is one of the most important operations in scientific/numerical computing applications and also a basic subroutine (SUM) in BLAS (Basic Linear Algebra Sub...
MKM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Gaussian filtering in one, two or three dimensions is among the most commonly needed tasks in signal and image processing. Finite impulse response filters in the time domain with ...
ARITH
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Floating-point arithmetic is notoriously nonassociative due to the limited precision representation which demands intermediate values be rounded to fit in the availabl...