中国开放科研知识云: 检索

收藏 | 浏览/下载：15/0 | 提交时间：2016/12/13

基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青

收藏 | 浏览/下载：21/0 | 提交时间：2016/06/21

软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇

收藏 | 浏览/下载：25/0 | 提交时间：2014/05/29

CPU-GPU协同计算加速ASIFT算法 期刊论文
计算机科学, 2014, 卷号: 41, 期号: 5, 页码: 14-19
何婷婷; 芮建武; 温腊

收藏 | 浏览/下载：23/0 | 提交时间：2014/12/16

Probably safe or live 会议论文
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)

收藏 | 浏览/下载：24/0 | 提交时间：2014/12/16

Bisimulations and logical characterizations on continuous-time markov decision processes 会议论文
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)

收藏 | 浏览/下载：15/0 | 提交时间：2014/12/16

CLSIFT: An optimization study of the scale invariance feature transform on GPUs 会议论文
15th IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 11th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2013, Zhangjiajie, Hunan, China, November 13, 2013 - November 15, 2013
Wang, Weiyan (1); Zhang, Yunquan (1); Guoping, Long (1); Yan, Shengen (1); Jia, Haipeng (1)

收藏 | 浏览/下载：28/0 | 提交时间：2014/12/16

一种基于UML的网络安全体系建模分析方法 期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁; 刘玉岭; 连一峰; 黄亮

收藏 | 浏览/下载：19/0 | 提交时间：2014/12/16

面向离散事件仿真系统的分布式计算框架建模 学位论文
硕士, 北京: 中国科学院研究生院, 2013
王章虎

收藏 | 浏览/下载：25/0 | 提交时间：2013/05/28

收藏 | 浏览/下载：35/0 | 提交时间：2013/09/17

在结果中检索