Hybrid CPU-GPU constraint checking: Towards efficient context consistency

Jun Sui, Chang Xu, S.C. Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “Hybrid CPU-GPU constraint checking: Towards efficient context consistency”, Information and Software Technology (IST) , 230–242, 2016.

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.