Formal Proof for GPU Resource Management

Author(s):
Jia Zhu, Chuanqin Yan, and Nigel Wang
Download