×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [16]
中国科学院大学 [1]
上海光学精密机械研究... [1]
内容类型
会议论文 [14]
期刊论文 [4]
发表日期
2015 [1]
2014 [1]
2013 [2]
2012 [1]
2011 [2]
2010 [6]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
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
Model checking
Linear temporal logic
Distributed memory algorithm
Formal method
Scalable algorithm
Reliable model checker
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
Learning algorithms
Model checking
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
Libraries
Process engineering
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
Abstracting
Parameterization
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
Project management
Software engineering
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
C (programming language)
Failure analysis
Monitoring
Program diagnostics
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