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

	Affine Arithmetic and Applications to Real-Number Proving Mariano M. Moscato1 , C´esar A. Mu˜ noz2 , and Andrew P. Smith1 1 DocID: 1saMb - View Document
	Computing DOIs00607A generalization of p-boxes to affine arithmetic Olivier Bouissou · Eric Goubault · Jean Goubault-Larrecq · Sylvie Putot DocID: 1rCO7 - View Document
	A Logical Product Approach to Zonotope Intersection Khalil Ghorbal, Eric Goubault, Sylvie Putot Laboratory for the Modelling and Analysis of Interacting Systems CEA, LIST, Boˆıte 94, Gif-sur-Yvette, FFrance. fir DocID: 1qOqG - View Document
	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot DocID: 1qDOI - View Document
	Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced DocID: 1qrvo - View Document