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

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

Density results on floating-point invertible numbers

By Hanrot G.   Rivat J.   Tenenbaum G.   Zimmermann P.  

Theoretical Computer Science, Vol. 291, Iss. 2, 2003-01 ,pp. : 135-141

Elsevier

Access to resources Recommend Favorite

Uniform random generation of decomposable structures using floating-point arithmetic

By Denise A.   Zimmermann P.  

Theoretical Computer Science, Vol. 218, Iss. 2, 1999-05 ,pp. : 233-248

Elsevier

Access to resources Recommend Favorite