Sciweavers

1333 search results - page 1 / 267
» Not a Number of Floating Point Problems
Sort
View
6
Voted
JOT
2006
38views more  JOT 2006»
13 years 7 months ago
Not a Number of Floating Point Problems
Gary T. Leavens
PLDI
1990
ACM
13 years 11 months ago
How to Read Floating-Point Numbers Accurately
Converting decimal scientific notation into binary floating point is nontrivial, but this conversion can be performed with the best possible accuracy without sacrificing efficienc...
William D. Clinger
FMCAD
2000
Springer
13 years 11 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
ASAP
2006
IEEE
127views Hardware» more  ASAP 2006»
13 years 9 months ago
A Cost Effective Pipelined Divider for Double Precision Floating Point Number
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...
Sandeep B. Singh, Jayanta Biswas, S. K. Nandy
ENVSOFT
2006
87views more  ENVSOFT 2006»
13 years 7 months ago
What every agent-based modeller should know about floating point arithmetic
Floating point arithmetic is a subject all too often ignored, yet, for agent-based models in particular, it has the potential to create misleading results, and even to influence e...
J. Gareth Polhill, Luis R. Izquierdo, Nicholas Mar...