中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Issued Date
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 18)

Items/Page:    Sort:
an empirical assessment of a systematic search process for systematic reviews [会议论文]
15th Annual Conference on Evaluation and Assessment in Software Engineering, EASE 2011, Durham, United kingdom, April 11,
Zhang He; Babar M.A.; Bai Xu; Li Juan; Huang Liguo

 
automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver [期刊论文]
International Journal of Software Engineering and Knowledge Engineering, 2011-01-01, 卷号: 21, 期号: 2, 页码: 289-307
Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh

 
characterizing failure-causing parameter interactions by adaptive testing [会议论文]
20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, 17-Jul-02
Zhang Zhiqiang; Zhang Jian
  |  
 
scalability studies of an implicit shallow water solver for the rossby-haurwitz problem [会议论文]
9th International Conference on High Performance Computing for Computational Science, VECPAR 2010, Berkeley, CA, United states, 22-Jun-02
Yang Chao; Cai Xiao-Chuan
  |  
 
基于改进Elman网络模型的软件可靠性预测 [期刊论文]
通信学报, 2011-01-01, 卷号: 32, 期号: 4, 页码: 86-93
程绪超; 陈新宇; 郭平
  |  
 
static detection of unsafe use of variables in java program [会议论文]
Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010, Xi'an, China, 40842
Wu Xiaoquan; Wei Jun
  |  
 
software defect prediction using fuzzy support vector regression [会议论文]
7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, 43988
Yan Zhen; Chen Xinyu; Guo Ping
  |  
 
towards runtime plug-and-play software [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 
component monitoring of osgi-based software [会议论文]
IEEE International Conference on E-Business Engineering, ICEBE 2010, Shanghai, China, 40848
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo; Zhu Xin
  |  
 

1 2 next

 
Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace