View in EDS

Preserving provability over GPU program optimizations with annotation-aware transformations.

Saved in:
Bibliographic Details
Title: Preserving provability over GPU program optimizations with annotation-aware transformations.
Authors: Şakar, Ömer1, o.f.o.sakar@utwente.nl, Safari, Mohsen2, mohsen.safari@surf.nl, Huisman, Marieke1, m.huisman@utwente.nl, Wijs, Anton3, a.j.wijs@tue.nl
Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p316-372, 57p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first