3 search results - page 1 / 1 » Toward Correctly Rounded Transcendentals |
111
Voted
TC
1998
14 years 10 months ago
1998
—The Table Maker’s Dilemma is the problem of always getting correctly rounded results when computing the elementary functions. After a brief presentation of this problem, we pr...
64
Voted
ARITH
2007
IEEE
15 years 5 months ago
2007
IEEE
One considers the problem of finding hard to round cases of a periodic function for large floating-point inputs, more precisely when the function cannot be efficiently approxim...
RTSS
2009
IEEE
15 years 5 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...