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

First Page		Document Content
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

	SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, DocID: 1xVSx - View Document
	Lower Bounds for Monotone Counting CircuitsI Stasys Jukna1 Institute of Computer Science, Goethe University, Frankfurt am Main, Germany Abstract A monotone arithmetic circuit computes a given multivariate polynomial f if DocID: 1uUTT - View Document
	Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with DocID: 1umfa - View Document
	Fast arithmetic for triangular sets: from theory to practice ´ Xin Li Marc Moreno Maza Eric Schost Computer Science Department, The University of Western Ontario, London, Ontario, Canada DocID: 1uhUy - View Document
	TAS-302 COMPUTER BASED NUMERICAL AND STATISTICAL TECHNIQUES L T PUnit-I Introduction: Numbers and their accuracy, Computer Arithmetic, Mathematical DocID: 1tL1G - View Document