Date: 2014-12-04 07:10:42Computer 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 ListSource URL: www.lri.frDownload Document from Source Website File Size: 363,06 KBShare Document on Facebook
|