Solving the generalized mask constraint for test generation of binary floating point add operation

By Ziv A.   Fournier L.  

Theoretical Computer Science, Vol. 291, Iss. 2, 2003-01 ,pp. : 183-201

Elsevier

Access to resources Recommend Favorite

Termination of Floating-Point Computations

By Serebrenik Alexander   Schreye Danny  

Journal of Automated Reasoning, Vol. 34, Iss. 2, 2005-12 ,pp. : 141-177

Springer Publishing Company

Access to resources Recommend Favorite

A Compact DSP Core with Static Floating-Point Arithmetic

By Lin Tay-Jyi   Lin Hung-Yueh   Chao Chie-Min   Liu Chih-Wei   Jen Chih-Wei  

Journal of VLSI Signal Processing, Vol. 42, Iss. 2, 2006-02 ,pp. : 127-138

Springer Publishing Company

Access to resources Recommend Favorite

Arithmetic operations beyond floating point number precision

By Wang Chih-Yueh   Yin Chen-Yang   Chen Hong-Yu   Chen Yung-Ko  

International Journal of Computational Science and Engineering, Vol. 6, Iss. 3, 2011-08 ,pp. : 206-215

Inderscience Publishers

Access to resources Recommend Favorite

Floating-point versus Symbolic Computations in the QD-algorithm

By Cuyt A.  

Journal of Symbolic Computation, Vol. 24, Iss. 6, 1997-12 ,pp. : 695-703

Academic Press

Access to resources Recommend Favorite