Termination of Floating-Point Computations

Author： Serebrenik Alexander Schreye Danny

ISSN： 0168-7433

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

Hardware–software optimizations of reconfigurable multi-core processors for floating-point computations of large sparse matrices

By Wang Xiaofang

Journal of Real-Time Image Processing, Vol. 9, Iss. 1, 2014-03 ,pp. : 187-204

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

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

Reducing the mean latency of floating-point addition

By Oberman S.F. Flynn M.J.

Theoretical Computer Science, Vol. 196, Iss. 1, 1998-04 ,pp. : 201-214

Elsevier

Access to resources Recommend Favorite