中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-3 of 3)

Items/Page: Sort:
	A vertex centric parallel algorithm for linear temporal logic model checking in Pregel [期刊论文] Journal of Parallel and Distributed Computing, 2014-01-01, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
	attacking the dimensionality problem of parameterized systems via bounded reachability graphs [会议论文] 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, April 20, 2011 - April 22, 2011 Yang Qiusong; Zhang Bei; Zhai Jian; Li Mingshu
	automatic mining of change set size information from repository for precise productivity estimation [会议论文] 2011 International Conference on Software and Systems Process, ICSSP 2011, Co-located with ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20 Huang Hui; Yang Qiusong; Xiao Junchao; Zhai Jian \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In