Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

First Page		Document Content
Date: 2013-08-05 05:55:21 Primitive types Software engineering Mathematics Numerical analysis Floating point Genetic algorithm Error detection and correction C Affine arithmetic Computer arithmetic Computing Data types		Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar Add to Reading List Source URL: lara.epfl.ch Download Document from Source Website File Size: 461,92 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