CORC

浏览/检索结果: 共7条,第1-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
嵌入式系统的编译器设计及其关键技术研究 学位论文
2016, 2015
陈本彬
收藏  |  浏览/下载:2/0  |  提交时间:2017/06/20
反编译中的指令习语识别和多入口循环规整方法的研究 学位论文
2016
作者:  张磊
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/02
机器检测的验证编译器:从mJava到Micro-Dalvik虚拟机 学位论文
2016
作者:  江南
收藏  |  浏览/下载:1/0  |  提交时间:2019/12/05
复杂系统建模仿真语言编译器的实现与应用 期刊论文
系统仿真学报, 2016, 卷号: 28, 页码: 1528-1537,1546
作者:  周文;  迟鹏;  李伯虎;  宋晓
收藏  |  浏览/下载:2/0  |  提交时间:2019/12/30


©版权所有 ©2017 CSpace - Powered by CSpace