机构

• 软件研究所 [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 收藏  |  浏览/下载：18/0  |  提交时间：2016/11/28 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)   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Model checking  Linear temporal logic  Distributed memory algorithm  Formal method  Scalable algorithm  Reliable model checker   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   |  收藏  |  浏览/下载：27/0  |  提交时间：2013/09/22 Learning algorithms  Model checking   creating process-agents incrementally by mining process asset library 期刊论文  OAI收割 Information Sciences, 2013, 页码: - Huang Hui; Xiao Junchao; Yang Qiusong; Wang Qing; Wu Hong   |  收藏  |  浏览/下载：21/0  |  提交时间：2013/09/17 Libraries  Process engineering   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   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/09/22 Abstracting  Parameterization   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   |  收藏  |  浏览/下载：31/0  |  提交时间：2011/10/10 Project management  Software engineering   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   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/10/10 C (programming language)  Failure analysis  Monitoring  Program diagnostics   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   |  收藏  |  浏览/下载：11/0  |  提交时间：2010/05/26 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   |  收藏  |  浏览/下载：7/0  |  提交时间：2010/05/26 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   |  收藏  |  浏览/下载：18/0  |  提交时间：2010/05/26