Formal Methods for GPGPU Programming: Is the Demand Met?

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
213 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'Formal Methods for GPGPU Programming: Is the Demand Met?'. Samen vormen ze een unieke vingerafdruk.

Computer Science