中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 33)

Filters        
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
compatibility between the local and social performances of multi-agent societies [期刊论文]
EXPERT SYSTEMS WITH APPLICATIONS, 2009-01-01, 卷号: 36, 期号: 3, 页码: 4443-4450
Jiang Yichuan; Jiang Jiuchuan; Ishida Toru
  |  
 
time-varying clustering for local lighting and material design [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009-01-01, 卷号: 52, 期号: 3, 页码: 445-456
Huang PeiJie; Gu YuanTing; Wu XiaoLong; Chen YanYun; Wu EnHua
  |  
 
a simple greedy algorithm for a class of shuttle transportation problems [期刊论文]
OPTIMIZATION LETTERS, 2009-01-01, 卷号: 3, 期号: 4, 页码: 491-497
Zheng Yujun; Xu Chuanqing; Xue Jinyun
  |  
 
lumiproxy: a hybrid representation of image-based models [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 3, 页码: 578-587
Sheng Bin; Zhu Jian; Wu En-Hua; Zhang Yan-Ci
  |  
 
refinement and verification in component-based model-driven design [期刊论文]
SCIENCE OF COMPUTER PROGRAMMING, 2009-01-01, 卷号: 74, 期号: 4, 页码: 168-196
Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun
  |  
 
instability of standing wave, global existence and blowup for the klein-gordon-zakharov system with different-degree nonlinearities [期刊论文]
Journal of Differential Equations, 2009-01-01, 卷号: 246, 期号: 10, 页码: 4097-4128
Zaihui Gan; Boling Guo; Zhang Jian
  |  
 
a backtracking search tool for constructing combinatorial test suites [期刊论文]
Journal of Systems and Software, 2008-01-01, 卷号: 81, 期号: 10, 页码: 1681-1693
Jun Yan; Zhang Jian
  |  
 
an efficient method to generate feasible paths for basis path testing [期刊论文]
Information Processing Letters, 2008-01-01, 卷号: 107, 期号: 3-4, 页码: 87-92
Jun Yan; Zhang Jian
  |  
 
basic research in computer science and software engineering at sklcs [期刊论文]
Frontiers of Computer Science in China, 2008-01-01, 卷号: 2, 期号: 1, 页码: 1-11
Zhang Jian; Zhang Wenhui; Zhan Naijun; Shen Yidong; Chen Haiming; Zhang Yunquan; Wang Yongji; Wu Enhua; Wang Hongan; Zhu Xueyang

 

1 2 3 4 next

 

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