机构

• 软件研究所 [16]
• 中国科学院大学 [1]
• 上海光学精密机械研究... [1]

采集方式

• OAI收割 [17]
• iSwitch采集 [1]

内容类型

• 会议论文 [14]
• 期刊论文 [4]

发表日期

• 2015 [1]
• 2014 [1]
• 2013 [2]
• 2012 [1]
• 2011 [2]
• 2010 [6]
• 更多

学科主题

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Controllable crystallization of Ge2Sb2Te5 phase-change memory thin films driven by multiple femtosecond laser pulses 期刊论文  OAI收割 mater. sci. eng. b, 2015, 卷号: 193, 页码: 189 作者:  Yang, Qiusong;  Cai, Zhilong;  Wang, Yang;  Huang, Huan;  Wu, Yiqun 收藏  |   A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)   |  收藏  |   assumption generation for asynchronous systems by abstraction refinement 会议论文  OAI收割 9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012 Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu   |  收藏  |   creating process-agents incrementally by mining process asset library 期刊论文  OAI收割 Information Sciences, 2013, 页码: - Huang Hui; Xiao Junchao; Yang Qiusong; Wang Qing; Wu Hong   |  收藏  |   attacking the dimensionality problem of parameterized systems via bounded reachability graphs 会议论文  OAI收割 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 会议论文  OAI收割 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   |  收藏  |   driver: diagnosing runtime property violations based on dependency rules 会议论文  OAI收割 2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011, Jeju Island, Korea, Republic of, 27-Jun-02 Liu Yanbin; Yang Ye; Yang Qiusong; Li Mingshu   |  收藏  |   automated process quality assurance for distributed software development 会议论文  OAI收割 2nd International Conference on Software Engineering Approaches for Offshore and Outsourced Development, 待填, 2008-7-2 Jian Zhai; Qiusong Yang; Ye Yang; Junchao Xiao; Qing Wang; Li Mingshu   |  收藏  |   on mobility of software processes 会议论文  OAI收割 International Workshop on Software Process Simulation and Modeling, Shanghai, China, 2006-5-20 Li Mingshu; Qiusong Yang; Jian Zhai; Guowei Yang   |  收藏  |   value-based multiple software projects scheduling with genetic algorithm 会议论文  OAI收割 International Conference on Software Process, Vancouver, BC, Canada, 2009-5-16 Junchao Xiao; Qing Wang; Li Mingshu; Qiusong Yang; Lizi Xie; Dapeng Liu   |  收藏  |