First Page | Document Content | |
---|---|---|
Date: 2017-11-14 22:52:13Computing 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, USAAdd to Reading ListSource URL: correctness-workshop.github.ioDownload Document from Source WebsiteFile Size: 137,72 KBShare Document on Facebook |
Intel Labs Haskell Research Compiler Hai (Paul) Liu with Neal Glew, Leaf Peterson, Todd A. Anderson Intel Labs. September 28, 2016DocID: 1xVxS - View Document | |
c Copyright 2018 Eric Mullen Pushing the Limits of Compiler VerificationDocID: 1xULs - View Document | |
Latte: A Language, Compiler, and Runtime for Elegant and Efficient Deep Neural Networks Leonard Truong Rajkishore BarikDocID: 1xUEK - View Document | |
c Copyright 2012 Laura Effinger-Dean Interference-Free Regions and Their Application to CompilerDocID: 1xUlU - View Document | |
CS 294 – Secure Computation February 16 and 18, 2016 Lecture 9 and 10: Malicious Security - GMW Compiler and Cut and Choose, OT ExtensionDocID: 1xTR2 - View Document |