中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 学位论文

view all items

(Results 1-20 of 202)
Help
Items/Page:    Sort:
含有replaceAll函数的字符串约束求解 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-23
陈艳
  |  View/Download:20/1
 
针对软件测试数据生成与Petri网可达性分析的适度函数 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-22
徐雄
  |  View/Download:36/2
 
基于大规模移动性分析的城市人群全景可视化 [学位论文]
硕士, 北京: 中国科学院大学, 2018-05-22
江涛
  |  View/Download:47/7
 
安全攸关嵌入式系统代码自动生成技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-21
严高高
  |  View/Download:54/5
 
图像模糊区域的分割及去模糊方法的研究 [学位论文]
硕士, 北京市中国科学院软件研究所: 中国科学院研究生院, 2018-05-18
袁野
  |  View/Download:25/2
 
正则表达式子类的推断算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-18
崔蕃琳
  |  View/Download:31/1
 
面向高维标注受限数据的特征和样本选择方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2018-05-17
石磊
  |  View/Download:33/4
 
时间Büchi自动机LTL性质的多核模型检测工具的实现与改进 [学位论文]
硕士, 北京: 中国科学院大学, 2018-05-16
赵威
  |  View/Download:17/2
 
Java内存模型的动静态结合验证方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-16
李亮
  |  View/Download:46/2
 
并发缺陷的高质量自动化修复方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05-15
曹玲微
  |  View/Download:35/3
 
基于决策树的条件语句自动化修复 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05
刘誉臻
  |  View/Download:44/1
 
面向内容高效呈现的图像编辑技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2018-05
徐盼盼
  |  View/Download:18/2
 
基于文本分类技术的恶意代码检测工具 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05
张东红
  |  View/Download:22/1
 
团划分问题的局部搜索算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018-05
Lv Yiqi
  |  View/Download:27/2
 
浮点数程序静态分析与缺陷检测 [学位论文]
博士, 北京: 中国科学院研究生院, 2018-05
吴兴明
  |  View/Download:20/2
 
C程序测试技术的优化与完善 [学位论文]
硕士, 北京: 中国科学院研究生院, 2018
杨玲
  |  View/Download:19/2
 
基于软件变异的错误定位的分布式测试平台 [学位论文]
硕士, 北京: 中国科学院大学, 2017-06
晏兰飞
  |  View/Download:56/4
 
安卓应用的字节码插桩与资源泄漏修复 [学位论文]
硕士, 北京: 中国科学院大学, 2017-06
刘洁瑞
  |  View/Download:43/2
 
基于图的进程演算及其应用 [学位论文]
博士, 北京: 中国科学院大学, 2017-06
刘士超
  |  View/Download:40/4
 
高效羽毛覆盖系统的设计及实现技术研究 [学位论文]
博士, 北京: 中国科学院大学, 2017-05-28
刘乐
  |  View/Download:46/2
 

 

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