|
已选(0)清除
条数/页： 排序方式：
|
| 一种面向多线程的编译验证模型 学位论文
2017
作者: 张晓曈
  收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 基于动态语义的Java源程序分析 学位论文
2017
作者: 刘瑞
收藏 | 浏览/下载：15/0 | 提交时间：2019/12/05
|
| 一种适用于可信编译器的源语言转换与检查框架 期刊论文
中国科技论文, 2017
作者: 张晓曈; 何炎祥
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| Java编译器的可信验证方法研究 学位论文
2017
作者: 沈云飞
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 同步数据流语言时态消去的可信翻译 期刊论文
2016, 2016
张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
收藏 | 浏览/下载：9/0 |
| 可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏 | 浏览/下载：6/0 |
| 程序的动态完整性:模型和方法 期刊论文
计算机研究与发展, 2012, 卷号: 49, 期号: 9
作者: 吴昊; 毋国庆
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 可信编译理论及其核心实现技术：研究综述 期刊论文
计算机科学与探索, 2011, 卷号: 5, 期号: 1
作者: 何炎祥; 吴伟; 刘陶; 李清安; 陈勇
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 可信编译器关键技术研究 期刊论文
计算机工程与科学, 2010, 卷号: 32, 期号: 8
作者: 何炎祥; 刘陶; 吴伟
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/05
|
