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

Search Results

Help

Item hits: (Results 101-110 of 193)

Items/Page:    Sort:
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
generation of wsdl_based test case [会议论文]
International Workshop on Information Security and Application (IWISA 2009), Qingdao, PEOPLES R CHINA, NOV 21-22,
Dong Wenli

 
a modified particle swarm optimization via particle visual modeling analysis [会议论文]
2nd International Conference on Bio-inspired Computing, Zhengzhou, PEOPLES R CHINA, SEP 14-17,
Zhao Yuxin; Zu Wei; Zeng Haitao

 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
基于统计的网络性能异常快速检测方法 [期刊论文]
计算机工程, 2009-01-01, 卷号: 35, 期号: 11, 页码: 166-168,180
孙延涛; 杨芳南; 许松涛

 
study on the correlation between randomness tests based on entropy [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 7, 页码: 1967-1976
Fan Li-Min; Feng Deng-Guo; Chen Hua

 
chebyshev-legendre spectral method for solving the two-dimensional vorticity equations with homogeneous dirichlet conditions [期刊论文]
NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS, 2009-01-01, 卷号: 25, 期号: 3, 页码: 740-755
Wu Hua; Ma Heping; Li Huiyuan

 
a triangular spectral element method using fully tensorial rational basis functions [期刊论文]
SIAM JOURNAL ON NUMERICAL ANALYSIS, 2009-01-01, 卷号: 47, 期号: 3, 页码: 1619-1650
Shen Jie; Wang Li-Lian; Li Huiyuan
  |  
 
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
  |  
 
toward an automatic approach to greedy algorithms [会议论文]
3rd International Workshop on Frontiers in Algorithmics, Hefei, PEOPLES R CHINA, JUN 20-23,
Zheng Yujun; Xue Jinyun; Zuo, ZhengKang(左正康)

 

previous 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 next

 

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