CORC

在结果中检索

CORC

浏览/检索结果: 共117条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
Windows应用兼容环境下针对注册表的恶意行为检测与响应技术研究与实现 学位论文
硕士, 北京: 中国科学院大学, 2019
作者:  朱宇宸
收藏  |  浏览/下载：69/0  |  提交时间：2019/06/19
An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
The BLIS Framework: Experiments in Portability 期刊论文
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2016, 卷号: 42, 期号: 2
Van Zee, FG; Smith, TM; Marker, B; Low, TM; De Geijn, RAV; Igual, FD; Smelyanskiy, M; Zhang, XY; Kistler, M; Austel, V; Gunnels, JA; Killough, L
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/09
软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏  |  浏览/下载：25/0  |  提交时间：2014/05/29
差分和线性分析的代数自动化方法 学位论文
博士, 北京: 中国科学院研究生院, 2014
吴生宝
收藏  |  浏览/下载：43/0  |  提交时间：2014/05/29
Algorithmic aspects for bi-objective multiple-choice hardware/software partitioning 会议论文
6th International Symposium on Parallel Architectures, Algorithms, and Programming, PAAP 2014, Beijing, China, July 13, 2014 - July 15, 2014
Shi, Wenjun (1); Wu, Jigang (1); Lam, Siew-Kei (3); Srikanthan, Thambipillai (3)
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16
Analyzing and predicting software integration bugs using network analysis on requirements dependency network 期刊论文
Requirements Engineering, 2014
Wang, Junjie (1); Wang, Qing (1)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
基于余归纳的最小Kripke结构的求解 期刊论文
软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26
高建华; 蒋颖
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
面向 OSGi 框架的软件构件监控方法的设计与实现 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 4, 页码: 1-6,58
李顺; 王焘; 宋云奎; 胡呈炜; 张文博
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
面向离散事件仿真系统的分布式计算框架建模 学位论文
硕士, 北京: 中国科学院研究生院, 2013
王章虎
收藏  |  浏览/下载：25/0  |  提交时间：2013/05/28

©版权所有 ©2017 CSpace - Powered by CSpace