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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters    
Items/Page:    Sort:
使用缓存的分布式迭代应用编程框架研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-11-21
连文波
  |  
 
使用缓存的分布式迭代应用编程框架研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-11-21
连文波
  |  
 
SystemC程序的形式化验证方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-11-20
曾奶举
  |  
 
面向二进制程序的软件漏洞分析方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
陈东
  |  
 
基于事件结构的并发程序可视化调试方法 [期刊论文]
软件学报, 2014-01-01, 卷号: 25, 期号: 3, 页码: 457-471
伍晓泉; 魏峻

 
基于谓词执行信息分析的自适应缺陷定位算法 [期刊论文]
计算机学报, 2014-01-01, 卷号: 37, 期号: 3, 页码: 500-511
郝鹏; 郑征; 张震宇; 高乙超; 宫成; 薛云志

 
程序断言与切片技术在检测程序非崩溃错误中的应用 [期刊论文]
小型微型计算机系统, 2014-01-01, 卷号: 35, 期号: 8, 页码: 1699-1704
邓超强; 曾凡平; 张辉; 张震宇; 董齐兴

 

1

 

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