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, 2013Add to Reading ListSource URL: eprints.eemcs.utwente.nlDownload Document from Source WebsiteFile Size: 265,14 KBShare Document on Facebook |