I compute, therefore I am (buggy): methodic doubt meets multiprocessors Jade Alglave1,2 1 Luc Maranget3 - Cartesian doubt - Document - PDFSEARCH.IO

First Page	Meta Content
	I compute, therefore I am (buggy): methodic doubt meets multiprocessors Jade Alglave1,2 1 Luc Maranget3 Add to Reading List Document Date: 2015-03-07 12:34:01 Open Document File Size: 101,77 KB Share Result on Facebook City Cambridge / / Company Creative Commons / IBM / Microsoft / / Facility University of Oxford ABSTRACT As / University College London Microsoft Research Cambridge / / IndustryTerm manycore chips / data mining / / Organization University College London / University of Oxford ABSTRACT As / / Technology manycore chips / data mining / ARM chips / simulation / / URL http / SocialTag Epistemology Skepticism Nvidia Science Computing Cartesian doubt CUDA Graphics processing unit Doubt GPGPU

I compute, therefore I am (buggy): methodic doubt meets multiprocessors Jade Alglave1,2 1 Luc Maranget3Add to Reading List