|
已选(0)清除
条数/页： 排序方式：
|
| 同步数据流程序的可信排序 期刊论文
2016, 2016
甘元科; 张玲波; 石刚; 王生原; 董渊; 张智慧; 王沿海; Gan Yuanke; Zhang Lingbo; Shi Gang; Wang Shengyuan; Dong Yuan; Zhang Zhihui; Wang Yanhai
  收藏 | 浏览/下载：7/0 |
| 同步数据流语言时态消去的可信翻译 期刊论文
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
石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
收藏 | 浏览/下载：3/0 |
| 可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏 | 浏览/下载：6/0 |
| 构建安全的编译环境 期刊论文
2010, 2010
陈萌萌; 邵贝贝
收藏 | 浏览/下载：2/0 |
| 基于确认式编译技术的移动代码安全性研究 期刊论文
2010, 2010
罗晓光; 王生原; 董渊; 张素琴; LUO Xiao-Guang; WANG Sheng-Yuan; DONG Yuan; ZHANG Su-Qin
收藏 | 浏览/下载：3/0 |
| Hlpsl2Cpp——一个安全协议编译器 期刊论文
2010, 2010
周天凌; 黄连生; ZHOU Tian-ling; HUANG Lian-sheng
收藏 | 浏览/下载：2/0 |
| OpenMP指导语句全局嵌套类型的静态分析及应用(英文) 期刊论文
2010, 2010
陈永健; 舒继武; 李建江; 王鼎兴; CHEN Yong-Jian; SHU Ji-Wu; LI Jian-Jiang; WANG Ding-Xing
收藏 | 浏览/下载：5/0 |
| 基于ORC的OpenMP编译器设计与实现 期刊论文
2010, 2010
陈永健; 李建江; 王生原; 郑纬民; CHEN Yongjian; LI Jianjiang; WANG Shengyuan; ZHENG Weimin
收藏 | 浏览/下载：3/0 |
| 一种通用嵌入式SRAMIP编译器的设计 期刊论文
2010, 2010
徐翌; 高志强; 贺祥庆; XU Yi; GAO Zhi-qiang; HE Xiang-qing
收藏 | 浏览/下载：1/0 |
