First Page | Document Content | |
---|---|---|
Date: 2016-03-08 07:04:45Concurrent computing Computing Computer architecture X86 instructions SIMD AltiVec Streaming SIMD Extensions Processor register SSE2 Symbolic execution MMX Constant folding | Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. KellyAdd to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source WebsiteFile Size: 256,17 KBShare Document on Facebook |