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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
hums: an autonomous moving strategy for mobile sinks in data-gathering sensor networks [期刊论文]
EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, 2007-01-01, 卷号: 2007, 期号: 1, 页码: -
Bi Yanzhong; Sun Limin; Ma Jian; Li Na; Khan Imran Ali; Chen Canfeng
  |  
 
partition refinement in abstract model checking [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Pu Fei; Zhang Wenhui
  |  
 
evaluation of sat-based bounded model checking of actl properties [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
  |  
 
physically based simulation of fluid mixtures [会议论文]
2007 10th IEEE International Conference on Computer Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 40831
Wu Enhua
  |  
 
核心化多级安全数据库系统未决提交事务日志写出依赖研究 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1438-1446
徐震; 张敏
  |  
 
基于Marching Cubes重组的外存模型渐进压缩 [期刊论文]
计算机学报, 2004-01-01, 卷号: 27, 期号: 11, 页码: 1457-1463
刘迎; 蔡康颖; 王文成; 吴恩华
  |  
 

1

 

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