Hybrid CPU-GPU Constraint Checking: Towards Efficient Context Consistency Jun Suia,b , Chang Xua,b,∗, S.C. Cheungc , Wang Xia,b , Yanyan Jianga,b , Chun Caoa,b , Xiaoxing Maa,b , Jian Lua,b a State

First Page		Document Content
Date: 2016-05-06 10:15:53		Hybrid CPU-GPU Constraint Checking: Towards Efficient Context Consistency Jun Suia,b , Chang Xua,b,∗, S.C. Cheungc , Wang Xia,b , Yanyan Jianga,b , Chun Caoa,b , Xiaoxing Maa,b , Jian Lua,b a State Add to Reading List Source URL: cs.nju.edu.cn Download Document from Source Website File Size: 1,09 MB Share Document on Facebook