CORC

在结果中检索

CORC

浏览/检索结果: 共18条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Controllable crystallization of Ge2Sb2Te5 phase-change memory thin films driven by multiple femtosecond laser pulses 期刊论文
mater. sci. eng. b, 2015, 卷号: 193, 页码: 189
作者:  Yang, Qiusong;  Cai, Zhilong;  Wang, Yang;  Huang, Huan;  Wu, Yiqun
收藏  |  浏览/下载：11/0  |  提交时间：2016/11/28
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16
assumption generation for asynchronous systems by abstraction refinement 会议论文
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
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/22
creating process-agents incrementally by mining process asset library 期刊论文
Information Sciences, 2013, 页码: -
Huang Hui; Xiao Junchao; Yang Qiusong; Wang Qing; Wu Hong
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17
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
收藏  |  浏览/下载：15/0  |  提交时间：2013/09/22
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
收藏  |  浏览/下载：24/0  |  提交时间：2011/10/10
driver: diagnosing runtime property violations based on dependency rules 会议论文
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
收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10
automated process quality assurance for distributed software development 会议论文
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
收藏  |  浏览/下载：10/0  |  提交时间：2010/05/26
on mobility of software processes 会议论文
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 会议论文
International Conference on Software Process, Vancouver, BC, Canada, 2009-5-16
Junchao Xiao; Qing Wang; Li Mingshu; Qiusong Yang; Lizi Xie; Dapeng Liu
收藏  |  浏览/下载：14/0  |  提交时间：2010/05/26

©版权所有 ©2017 CSpace - Powered by CSpace