Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma

First Page		Document Content
Date: 2014-03-20 01:19:50 Mathematics X86 instruction listings Floating point Unit in the last place Lookup table Rounding Error function Markov chain Monte Carlo Mathematical optimization Statistics Computer arithmetic Computing		Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma Add to Reading List Source URL: theory.stanford.edu Download Document from Source Website File Size: 2,71 MB Share Document on Facebook

	AT&T Bell Laboratories Numerical Analysis ManuscriptCorrectly Rounded Binary-Decimal and Decimal-Binary Conversions DocID: 1oJV1 - View Document
	Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay Île-de-France, DocID: 1o0ql - View Document
	Rounding Errors in Complex Floating-Point Multiplication Colin Percival IRMACS, Simon Fraser University DocID: 1lXui - View Document
	Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l DocID: 19Hz4 - View Document
	THE MPFR LIBRARY: ALGORITHMS AND PROOFS THE MPFR TEAM Contents 1. Notations and Assumptions 2. Error calculus DocID: 18teE - View Document