C99

Results: 122



#Item
1WG14	
  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:      

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2010-06-27 14:32:08
2Hardest-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,

Add to Reading List

Source URL: www.vinc17.org

Language: English - Date: 2015-06-18 06:12:50
3Annotation 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

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2016-06-01 04:33:33
4MINUTES 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:

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2007-11-10 16:14:55
5Correct 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
6WG14	
  N1493	
   INCITS	
  PL22.11/10-­‐001	
   Reply	
  To	
  The	
  Attention	
  Of:	
  Barry	
  Hedquist	
   Email:	
  	
    	
  

WG14  N1493   INCITS  PL22.11/10-­‐001   Reply  To  The  Attention  Of:  Barry  Hedquist   Email:      

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2010-06-27 14:23:35
7How to use the engine in your applications By Marti Maria. Ver 2.8 http://www.littlecms.com Copyright © 2015 Marti Maria Saguer, all rights reserved.

How to use the engine in your applications By Marti Maria. Ver 2.8 http://www.littlecms.com Copyright © 2015 Marti Maria Saguer, all rights reserved.

Add to Reading List

Source URL: www.littlecms.com

Language: English - Date: 2016-07-20 04:49:32
8Informatik und Angewandte Kognitionswissenschaft Lehrstuhl f¨ ur Hochleistungsrechnen Thomas Fogal Prof. Dr. Jens Kr¨ uger

Informatik und Angewandte Kognitionswissenschaft Lehrstuhl f¨ ur Hochleistungsrechnen Thomas Fogal Prof. Dr. Jens Kr¨ uger

Add to Reading List

Source URL: hpc.uni-due.de

Language: English - Date: 2014-10-21 09:15:16
9Draft	
  Technical	
  Specification	
  –	
  	
  September	
  28,	
  2015	
   	
    	
    

Draft  Technical  Specification  –    September  28,  2015        

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2015-09-29 10:40:33
10Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2012-03-30 12:02:04