中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 刘迎; 蔡康颖; 王文成; 吴恩华 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In