CHANG Xi
Department of Software Engineering, Shanghai Polytechnic University, Shanghai 201209, ChinaXUE Jian-Xin
Department of Software Engineering, Shanghai Polytechnic University, Shanghai 201209, China;College of Computer, National University of Defense Technology, Changsha 410073, ChinaZHANG Zhuo
College of Computer, National University of Defense Technology, Changsha 410073, ChinaMAO Xiao-Guang
College of Computer, National University of Defense Technology, Changsha 410073, ChinaNational Natural Science Foundation of China (61502296, 61379054, 61672529); Natural Science Foundation of Shanghai (15ZR1417000)
常曦,薛建新,张卓,毛晓光.面向收敛的并发程序执行轨迹静态简化方法.软件学报,2017,28(5):1107-1117
Copy