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

Search Results

Help

Item hits: (Results 11-20 of 3244)

Filters    
Items/Page:    Sort:
Completeness of Hoare logic with inputs over the standard model [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
  |  
 
Termination analysis with recursive calling graphs [期刊论文]
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016-01-01, 卷号: 59, 页码: 109-116
Long, T; Zhang, WH
  |  
 
一种基于聚类分组的虚拟机镜像去冗余方法 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 2, 页码: 466-480
徐继伟; 张文博; 魏峻; 钟华; 黄涛
  |  
 
车辆图像检索方法的Julia云实现 [期刊论文]
小型微型计算机系统, 2016-01-01, 卷号: 37, 期号: 1, 页码: 57-60
黄博; 王莉; 张常有; 王婷
  |  
 
一个基于博弈理论的隐私保护模型 [期刊论文]
计算机学报, 2016-01-01, 卷号: 39, 期号: 3, 页码: 615-627
张伊璇; 何泾沙; 赵斌; 朱娜斐

 
对Raviyoyla v1的实际伪造攻击 [期刊论文]
计算机学报, 2016-01-01, 卷号: 39, 期号: 3, 页码: 478-491
姚远; 张斌; 吴文玲
  |  
 
Cryptanalysis and improvement of an efficient authenticated key exchange protocol with tight security reduction [期刊论文]
INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2016-01-01, 卷号: 29, 期号: 3, 页码: 567-578
Lu, SQ; Zhao, JH; Cheng, QF

 
基于改进MCA的干涉高光谱图像分解 [期刊论文]
光谱学与光谱分析, 2016-01-01, 卷号: 36, 期号: 1, 页码: 254-258
温佳; 赵军锁; 王彩玲; 夏玉立
  |  
 
KSAP: An approach to bug report assignment using KNN search and heterogeneous proximity [期刊论文]
INFORMATION AND SOFTWARE TECHNOLOGY, 2016-01-01, 卷号: 70, 页码: 68-84
Zhang, W; Wang, S; Wang, Q
  |  
 
一种基于遗传算法的虚拟机镜像自适应备份策略 [期刊论文]
计算机学报, 2016-01-01, 卷号: 39, 期号: 2, 页码: 351-363
徐继伟; 张文博; 王焘; 黄涛
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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