Back to Results
First PageMeta Content



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

Document Date: 2013-11-07 12:44:35


Open Document

File Size: 265,14 KB

Share Result on Facebook