Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman November 8, 2013 - GPGPU - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-11-07 12:44:35		Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013 Add to Reading List Source URL: eprints.eemcs.utwente.nl Download Document from Source Website File Size: 265,14 KB Share Document on Facebook