Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot

First Page		Document Content
Date: 2013-11-20 04:18:58 Mathematics Affine geometry Numerical analysis Software Theoretical computer science Abstract interpretation Fluctuat Affine arithmetic Affine space Integral Rounding Matrix		Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 1,22 MB Share Document on Facebook

	General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses DocID: 1xW2N - View Document
	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China DocID: 1xW1R - View Document
	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh DocID: 1xW1G - View Document
	Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith DocID: 1xW0L - View Document
	AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have DocID: 1xW0u - View Document