已选(0)清除
条数/页: 排序方式:
|
| 一种适用于可信编译器的源语言转换与检查框架 期刊论文 中国科技论文, 2017 作者: 张晓曈; 何炎祥
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0  |  提交时间:2019/12/05
|
| 面向总线翻转编码的低能耗指令调度方法 期刊论文 计算机研究与发展, 2014, 卷号: 51, 期号: 8 作者: 何炎祥; 陈勇; 吴伟; 徐超; 李清安
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/05
|
| 基于函数调用图的静态数据分配 期刊论文 武汉大学学报(理学版), 2013, 卷号: 59, 期号: 6 作者: 江南; 徐超; 吴伟; 陈勇; 李清安
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2019/12/05
|
| 基于编译支持错误跟踪的测试用例自动化生成方法 期刊论文 计算机研究与发展, 2012, 卷号: 49, 期号: 9 作者: 何炎祥; 陈勇; 吴伟; 徐超; 吴黎兵
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 程序的动态完整性:模型和方法 期刊论文 计算机研究与发展, 2012, 卷号: 49, 期号: 9 作者: 吴昊; 毋国庆
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| RISC编译器的优化改进算法 期刊论文 软件导刊, 2012, 期号: 5 作者: 潘培雯
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 可信编译理论及其核心实现技术:研究综述 期刊论文 计算机科学与探索, 2011, 卷号: 5, 期号: 1 作者: 何炎祥; 吴伟; 刘陶; 李清安; 陈勇
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 可信编译器关键技术研究 期刊论文 计算机工程与科学, 2010, 卷号: 32, 期号: 8 作者: 何炎祥; 刘陶; 吴伟
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2019/12/05
|
| 一个可编程C语言图像处理软件中跟踪调试功能的实现 期刊论文 计算机工程与科学, 2009, 卷号: 31, 期号: 3 作者: 台继荣; 刘吉平
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|
| 基于代码压缩方法的嵌入式编译优化研究 期刊论文 鄂州大学学报, 2008, 期号: 2 作者: 朱立文; 郭曦
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
|