Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly

First Page		Document Content
Date: 2016-03-08 07:04:45 Concurrent 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. Kelly Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 256,17 KB Share Document on Facebook

	Optimization of Vertical and Horizontal Beamforming Kernels on the PowerPC G4 Processor with AltiVec Technology Young H. Cho, David Brunke, and Greg E. Allen Applied Research Laboratories: The University of Texas at Aust DocID: 1syza - View Document
	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly DocID: 1pUTw - View Document
	SPU C/C++ Language Extensions Version 2.1 CBEA JSRE Series Cell Broadband Engine Architecture DocID: 1poLa - View Document
	Vertical and Horizontal Beamforming Kernels with AltiVec Technology Young H. Cho, David Brunke, Greg E. Allen, and Brian L. Evans* The University of Texas at Austin Austin, TXU.S.A DocID: 1pbcL - View Document
	3000 SERIES StarGate 3120 & 3120D PowerPC VXS Payload The StarGate 3120 & 3120D are the first FastCluster 3000 SERIES PowerPC AltiVec VXS payloads incorporating the latest improvements DocID: 1nW13 - View Document