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

Search Results

Help

Item hits: (Results 1-10 of 11)

Items/Page:    Sort:
面向网络生存时间的传感器网络融合延迟分配算法 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: z2, 页码: 224-228
张树东; 皇甫伟
  |  
 
基于规范生成的文件模糊测试 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 16, 页码: 3591-3594
沈亚楠; 赵荣彩; 王小芹; 任华; 张新宇; 鲁海军; 李鹏飞
  |  
 
Huffman算法程序的形式化推导 [期刊论文]
计算机工程, 2010-01-01, 卷号: 36, 期号: 5, 页码: 49-51
王昌晶; 罗海梅; 左正康; 薛锦云
  |  
 
一类0-1背包问题算法程序的形式化推导 [期刊论文]
武汉大学学报(理学版), 2009-01-01, 期号: 6, 页码: 674-680
王昌晶; 薛锦云
  |  
 
二元推导与自相关随机性检测算法的相关性分析 [期刊论文]
计算机研究与发展, 2009-01-01, 卷号: 46, 期号: 6, 页码: 956-961
范丽敏; 冯登国; 陈华
  |  
 
一个基于单向散列函数的实用等级密钥管理方案 [期刊论文]
北京大学学报(自然科学版), 2008-01-01, 卷号: 44, 期号: 4, 页码: 527-536
韩心慧; 龙勤; 司端锋; 诸葛建伟; 叶志远
  |  
 
二元推导随机性检测的优化实现 [期刊论文]
计算机工程, 2008-01-01, 卷号: 34, 期号: 19, 页码: 20-22
范丽敏; 冯登国; 许囡囡
  |  
 
形式化开发若干组合数学问题的算法 [期刊论文]
江西师范大学学报(自然科学版), 2006-01-01, 期号: 5, 页码: 423-427
石海鹤; 石海鹏; 薛锦云
  |  
 
CFL句子计数和分层词典序枚举 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 12
董韫美
  |  
 
最大节约原则下单倍型推导问题的实用算法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1699-1707
张强锋; 车皓阳; 陈国良; 孙广中
  |  
 

1 2 next

 

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