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

Search Results

Help

Item hits: (Results 71-80 of 251)

Filters    
Items/Page:    Sort:
基于安全芯片的防伪数码相机 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 7, 页码: 1591-1594
罗应文; 王哲; 苏鸿根
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
基于一阶迁移系统的限界模型检测工具实现 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
  |  
 
基于二进制补丁比对的软件输入数据自动构造 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 14, 页码: 3169-3173
沈亚楠; 赵荣彩; 任华; 王小芹; 刘振华; 张新宇; 李鹏飞
  |  
 
基于样本程序的领域开发平台的研究与实践 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 18, 页码: 3979-3982
袁伟民; 左春
  |  
 
基于Gabor小波的渐进式着色算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 6, 页码: 1327-1329,1334
陈顺斌
  |  
 
基于虚拟机执行过程重放的热迁移系统研究 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 19, 页码: 4213-4217
胡晓昌; 丁丽萍; 武延军
  |  
 
基于COQUALMO的缺陷预测与校准工具的设计与实现 [期刊论文]
计算机工程与设计, 2010-01-01, 期号: 14, 页码: 3185-3188,3325
库燕; 杨叶; 李奇
  |  
 
分布式仿真系统中的数据传输研究 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 56-59,63
陈晓怡; 吕品; 王宇心
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 

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

 

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