Formalising GPU memory models John Wickerson 1 Tyler Sorensen 2,3 Daniel Poetzl 2,4 Mark Batty 5 Jade Alglave 2 Alastair Donaldson 1 1 Imperial College London 2 University College London 3 University of Uta - Graphics hardware - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-01-20 09:48:39 Computing Concurrent computing Parallel computing GPGPU Computer architecture Graphics hardware Video cards OpenCL CUDA Graphics processing unit Thread General-purpose computing on graphics processing units		Formalising GPU memory models John Wickerson 1 / Tyler Sorensen 2,3 / Daniel Poetzl 2,4 / Mark Batty 5 / Jade Alglave 2 / Alastair Donaldson 1 1 Imperial College London / 2 University College London / 3 University of Uta Add to Reading List Source URL: carp.doc.ic.ac.uk Download Document from Source Website File Size: 622,14 KB Share Document on Facebook

	Diplom- / Master- / Bachelorarbeit OpenCL/CUDA Reliability Analysis OPENCL & Image Source: NVIDIA DocID: 1uzZ2 - View Document
	Intel® OpenCL Implicit Vectorization Module Nadav Rotem Software Developer, Intel® November 2011 DocID: 1upMB - View Document
	Patterns and Rewrite Rules for Systematic Code Generation From High-Level Functional Patterns to High-Performance OpenCL Code Michel Steuwer Christian Fensch DocID: 1tL2m - View Document
	Step-by-step: Building OpenCL-enabled OpenCV from source OpenCV version: 2.4.6 Dr. Harris Gasparakis, 1 This tutorial is a very introductory, step-by-step guide to obtaining, configuring, and bui DocID: 1tibZ - View Document
	Overhauling SC Atomics in C11 and OpenCL Mark Batty Alastair F. Donaldson John Wickerson DocID: 1t6VZ - View Document