Results 261 to 270 of about 4,958,187 (282)

The Pitfalls of Verifying Floating-Point Computations

ACM Transactions on Programming Languages and Systems, 2008
David Monniaux
exaly  

Multipliers for Floating-Point Double Precision and Beyond on FPGAs

Computer Architecture News, 2010
Sebastian Bănescu, Florent de Dinechin
exaly  

IEEE Standard for Floating Point Numbers

Resonance - Journal of Science Education, 2016
V Rajaraman
exaly  

Handbook of Floating-Point Arithmetic

2018
Nathalie Revol, Vincent Lefèvre, Guillaume Melquiond   +2 more
exaly  

On Subnormal Floating Point and Abnormal Timing

2015
Sorin Lerner, Keaton Mowery, Marc Andrysco   +2 more
exaly  

A Floating-Point Technique for Extending the Available Precision

Numerische Mathematik, 1971
exaly  

Automatic Detection of Floating-Point Exceptions

ACM SIGPLAN Notices, 2013
Earl T. Barr, Zhendong Su
exaly  

Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries

2019
Xiaoguang Mao, Xin Yi
exaly  

Floating Point

2011
openaire   +1 more source

Floating Point

2015
openaire   +1 more source