Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA - SPL - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-11-14 22:52:13 Computing Software engineering Computer programming X86 instructions MOVAPD X86 instruction listings J Compiler MOVDDUP		Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA Add to Reading List Source URL: correctness-workshop.github.io Download Document from Source Website File Size: 137,72 KB Share Document on Facebook

	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz I: Solutions DocID: 1qT13 - View Document
	wgc2_OA_title.fm Page i Thursday, April 20, :25 PM fro m WRITE GREAT CODE V ol um e 2 : T hi nk in g Low -Lev el , W r i t in g Hi gh -Lev el DocID: 1qcYF - View Document
	Introduction to Intel x86-64 Assembly, Architecture, Applications, & Alliteration Xeno Kovah – 2014 xkovah at gmail DocID: 1olxp - View Document
	Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma DocID: 13SG3 - View Document
	C/C++ Language Extensions for Cell Broadband Engine™ Architecture Version 2.3 CBEA JSRE Series DocID: 10Kle - View Document