<--- Back to Details
First PageDocument Content
Computer arithmetic / Computing / Computer architecture / IEEE floating point / Double-precision floating-point format / Long double / Extended precision / C99 / Single-precision floating-point format / SSE2 / Strictfp / Normal number
Date: 2014-12-04 07:10:42
Computer arithmetic
Computing
Computer architecture
IEEE floating point
Double-precision floating-point format
Long double
Extended precision
C99
Single-precision floating-point format
SSE2
Strictfp
Normal number

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

Download Document from Source Website

File Size: 363,06 KB

Share Document on Facebook

Similar Documents

WG14	
  N1475	
   INCITS	
  PL22.11/09-­‐0002	
   Reply	
  to	
  the	
  Attention	
  of:	
  Barry	
  Hedquist	
   Email:	
  	
    	
  

WG14  N1475   INCITS  PL22.11/09-­‐0002   Reply  to  the  Attention  of:  Barry  Hedquist   Email:      

DocID: 1rgqx - View Document

Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

DocID: 1rccC - View Document

Annotation Generation  Frama-C’s annotation generator plug-in for Frama-C Aluminium

Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium

DocID: 1qvDf - View Document

MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26:

MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26:

DocID: 1q4Ol - View Document

Correct 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,

DocID: 1pCuG - View Document