Formal Proof for GPU Resource Management

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