Moka: Model-based concurrent kernel analysis.

Sun, 01 Jan 2017 00:00:00 +0100

Leiming Yu, Xun Gong, Yifan Sun , Qianqian Fang, Norm Rubin, David R. Kaeli:
Moka: Model-based concurrent kernel analysis. IISWC 2017: 197-206