Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1

First Page		Document Content
Date: 2009-11-24 06:44:27 Computer arithmetic Floating point Fluctuat Abstract interpretation Rounding Interval arithmetic Loss of significance NaN Common logarithm Lookup table Affine arithmetic Signed zero		Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 348,85 KB Share Document on Facebook

	The Practical Use of the Bemer Method for Exponentials Update Version: September 5, 2006 Ron Doerfler (http://www.myreckonings.com) In Chapter 4 of my book, Dead Reckoning: Calculating Without Instruments, a method is gi DocID: 1rrb5 - View Document
	Graphics calculator use in examinations: accident or design?* Marian Kemp, Academic Services Unit Barry Kissane, School of Education Jen Bradley, School of Physical Sciences, Engineering and Technology Murdoch University DocID: 1pD5s - View Document
	How Euler Did It by Ed Sandifer Finding logarithms by hand July 2005 Today, it is just as easy to take a square root as it is to find a logarithm. You just find your calculator, turn it on, and press a few buttons. The f DocID: 1pl88 - View Document
	Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 DocID: 1oVed - View Document
	a-2-ApproximatingWithLogs.nb DocID: 1oUO3 - View Document