Formal Proof for GPU Resource Management

Author(s):
Jia Zhu, Chuanqin Yan, and Nigel Wang
Location:
United States
Year:
2017
Type:
Presentation
Format:
pdf