Sciweavers

6 search results - page 1 / 2
» On Infinitely Precise Rounding for Division, Square Root, Re...
Sort
View
ARITH
1999
IEEE
13 years 9 months ago
On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal
Quotients, reciprocals, square roots and square root reciprocals all have the property that infinitely precise
Cristina Iordache, David W. Matula
ARITH
2007
IEEE
13 years 11 months ago
P6 Binary Floating-Point Unit
The floating point unit of the next generation PowerPC is detailed. It has been tested at over 5 GHz. The design supports an extremely aggressive cycle time of 13 FO4 using a tech...
Son Dao Trong, Martin S. Schmookler, Eric M. Schwa...
ISMVL
2006
IEEE
117views Hardware» more  ISMVL 2006»
13 years 10 months ago
Representations of Elementary Functions Using Binary Moment Diagrams
This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and reciprocal functions. These real valued functions ar...
Tsutomu Sasao, Shinobu Nagayama
CORR
2010
Springer
112views Education» more  CORR 2010»
13 years 4 months ago
Efficient Approximation of Optimal Control for Markov Games
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
Markus Rabe, Sven Schewe, Lijun Zhang