Single-precision floating-point format

Results: 60



#Item
1Lineare Algebra  Endliche Arithmetik Walter Gander ETH Z¨ urich

Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich

Add to Reading List

Source URL: www.cvg.ethz.ch

Language: English - Date: 2015-06-05 11:10:36
2Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre  Philippe Théveny

Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre Philippe Théveny

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2010-04-14 11:12:59
3Denison University  Floa.ng	Point
 
  CS-281:	Introduc.on	to	Computer	Systems

Denison University Floa.ng Point
 
 CS-281: Introduc.on to Computer Systems

Add to Reading List

Source URL: personal.denison.edu

Language: English - Date: 2015-12-02 11:24:11
4Introduction to Smalltalk - Chapter 5 - Numbers  Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because

Introduction to Smalltalk - Chapter 5 - Numbers  Ivan TomekChapter 5 - Numbers Overview VisualWorks library contains many classes representing numbers of various kinds, mainly because

Add to Reading List

Source URL: sdmeta.gforge.inria.fr

Language: English - Date: 2014-10-09 10:38:17
5Lineare Algebra  Endliche Arithmetik Walter Gander ETH Z¨ urich

Lineare Algebra Endliche Arithmetik Walter Gander ETH Z¨ urich

Add to Reading List

Source URL: www.cvg.ethz.ch

Language: English - Date: 2015-06-05 11:10:36
6Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

Correct Rounding of Mathematical Functions Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon SIESTE,

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
7Journal of Automated Reasoning manuscript No.  (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan ·

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan ·

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2014-12-04 07:10:42
8A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria  Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2013-04-16 09:27:03
9INTERNATIONAL ATOMIC ENERGY AGENCY  NUCLEAR DATA SERVICES DOCUMENTATION SERIES OF THE IAEA NUCLEAR DATA SECTION  IAEA-NDS-217

INTERNATIONAL ATOMIC ENERGY AGENCY NUCLEAR DATA SERVICES DOCUMENTATION SERIES OF THE IAEA NUCLEAR DATA SECTION IAEA-NDS-217

Add to Reading List

Source URL: home.comcast.net

Language: English - Date: 2014-08-11 14:23:46
10Precision and Performance: Floating Point and IEEE 754 Compliance for NVIDIA GPUs

Precision and Performance: Floating Point and IEEE 754 Compliance for NVIDIA GPUs

Add to Reading List

Source URL: docs.nvidia.com

Language: English - Date: 2015-02-18 15:11:45