36 search results - page 1 / 8 » Floating-point L2-approximations to functions |
ARITH
2007
IEEE
13 years 11 months ago
2007
IEEE
In the present paper, we investigate the approximation of a function by a polynomial with floating-point coefficients; we are looking for the best approximation in the L2 sense....
TC
2011
12 years 12 months ago
2011
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
ISMVL
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...
ISMVL
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper proposes a new architecture for memorybased floating-point numeric function generators (NFGs). The design method uses piecewise-split edge-valued multivalued decision ...