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 - Barcelona Museum of Contemporary Art - 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