已选(0)清除
条数/页: 排序方式:
|
| 同步数据流程序的可信排序 期刊论文 2016, 2016 甘元科; 张玲波; 石刚; 王生原; 董渊; 张智慧; 王沿海; Gan Yuanke; Zhang Lingbo; Shi Gang; Wang Shengyuan; Dong Yuan; Zhang Zhihui; Wang Yanhai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0 |
| 同步数据流语言时态消去的可信翻译 期刊论文 2016, 2016 张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0 |
| 基于RTL的函数调用图生成工具CG-RTL 期刊论文 2016, 2016 孙卫真; 杜香燕; 向勇; 汤卫东; 侯鸿儒; SUN Wei-zhen; DU Xiang-yan; XIANG Yong; TANG Wei-dong; HOU Hong-ru
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0 |
| VLIW-Superscalar混合结构处理器分支预测结构设计 期刊论文 2016, 2016 杜勇; 李秦华; 陈峰扬; 郭德源; 李笑天; 何虎; Du Yong; Li Qinhua; Chen Fengyang; Guo Deyuan; Li Xiaotian; He Hu
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:8/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
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0 |
| ARM Cortex-M0/M0+单片机的指针变量替换方法 期刊论文 2016, 2016 王志伟; 龚光华; Wang Zhiwei; Gong Guanghua
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0 |
| 可信编译器构造的翻译确认方法简述 期刊论文 2016, 2016 刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0 |
| 复杂系统建模仿真语言编译器的实现与应用 期刊论文 系统仿真学报, 2016, 卷号: 28, 页码: 1528-1537,1546 作者: 周文; 迟鹏; 李伯虎; 宋晓
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/30
|