Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

First Page		Document Content
Date: 2018-10-18 11:22:35 Numerical analysis Mathematics Applied mathematics Computing Error analysis Interval arithmetic Round-off error Program optimization Infinite loop Algorithm		Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 263,88 KB Share Document on Facebook

	Dynamics, numerical analysis, and some geometry Ludwig Gauckler ∗ Ernst Hairer † DocID: 1xTCi - View Document
	Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France DocID: 1xT7e - View Document
	A Study on Real-time Multibody Simulation with Contacts Carl Johan Gribel Numerical Analysis Lund Institute of Technology Supervisor: Prof. Claus F¨ DocID: 1vkKs - View Document
	User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002 DocID: 1vk0v - View Document
	Numerical Analysis Group Internal ReportResults from a numerical evaluation of LANCELOT B Nicholas I. M. Gould DocID: 1vjGm - View Document