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

Search Results

Help

Item hits: (Results 1-10 of 21)

Items/Page:    Sort:
基于静态污点分析的空间内存错误检测技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-26
赵晓柯
  |  
 
基于样本程序和规则库的代码自动化检查工具 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-06-01
王致富
  |  
 
受限正规树文法与基于正则表达式包含判定的类型检查 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2010-01-25
陈雷
  |  
 
采用了剪枝优化的子类型关系判定算法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君; 陈海明
  |  
 
E-RTDB的恢复子系统的设计与实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 1, 页码: 119-122
李坤; 李春晖; 王永炎; 王宏安
  |  
 
面向软件安全缺陷的静态代码分析及防御 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-29
罗宇翔
  |  
 
形式化分析方法在OnceAS设计和实现中的应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
李彦
  |  
 
一个基于应用程序监控的病毒防范框架 [期刊论文]
计算机工程, 2006-01-01, 卷号: 32, 期号: 12, 页码: 152-153,156
武延军; 石文昌; 梁洪亮; 周洲仪
  |  
 
基于模型检查实现J2EE规范的实例研究 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  
 
以STL为接口的CAD/CAE集成应用 [期刊论文]
计算机辅助设计与图形学学报, 2005-01-01, 卷号: 17, 期号: 8, 页码: 1878-1882
王威信; 吴延江; 张凤军
  |  
 

1 2 3 next

 

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