Jinsheng Xu Jinghua Zhang Efficiently unifying parallel simulation techniques. 228-232 2006 conf/ACMse/2006 ACM Southeast Regional Conference http://doi.acm.org/10.1145/1185448.1185499 db/conf/ACMse/ACMse2006.html#XuZ06