![](/img/cover-not-exists.png)
Hybrid CPU-GPU Constraint Checking: Towards Efficient Context Consistency
Sui, Jun, Xu, Chang, Cheung, S.C., Xi, Wang, Jiang, Yanyan, Cao, Chun, Ma, Xiaoxing, Lu, JianLanguage:
english
Journal:
Information and Software Technology
DOI:
10.1016/j.infsof.2015.10.003
Date:
October, 2015
File:
PDF, 1.19 MB
english, 2015