Results 231 to 239 of about 4,709,241 (239)

A Parameterized Floating-Point Formalizaton in HOL Light

Electronic Notes in Theoretical Computer Science, 2015
Ganesh Gopalakrishnan, Alexey Solovyev
exaly  

Accurate floating-point summation

Communications of the ACM, 1970
Peter Linz
exaly  

A floating-point technique for extending the available precision

Numerische Mathematik, 1971
exaly  

Improved Error Bounds for Inner Products in Floating-Point Arithmetic

SIAM Journal on Matrix Analysis and Applications, 2013
Siegfried M Rump, Claude-Pierre Jeannerod   +1 more
exaly  

On accurate floating-point summation

Communications of the ACM, 1971
exaly  

On Floating-Point Summation

SIAM Review, 1995
exaly  

Block floating-point implementation of digital filters using the DSP56000

Microprocessors and Microsystems, 1988
exaly  

Realization of digital filters using block-floating-point arithmetic

IEEE Transactions on Audio and Electroacoustics, 1970
exaly  

Tapered Floating Point: A New Floating-Point Representation

IEEE Transactions on Computers, 1971
exaly