Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang 0001, Chun Cao, Xiaoxing Ma, Jian Lu. Hybrid CPU-GPU constraint checking: Towards efficient context consistency. Information \& Software Technology, 74:230-242, 2016. [doi]
@article{SuiXCX0CML16,
title = {Hybrid CPU-GPU constraint checking: Towards efficient context consistency},
author = {Jun Sui and Chang Xu and Shing-Chi Cheung and Wang Xi and Yanyan Jiang 0001 and Chun Cao and Xiaoxing Ma and Jian Lu},
year = {2016},
doi = {10.1016/j.infsof.2015.10.003},
url = {http://dx.doi.org/10.1016/j.infsof.2015.10.003},
researchr = {https://researchr.org/publication/SuiXCX0CML16},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {74},
pages = {230-242},
}