CORC

浏览/检索结果: 共132条,第1-10条 帮助

已选(0)清除 条数/页:   排序方式:
MaPU编程语言及编译器关键技术研究 学位论文
北京市海淀区中关村东路95号自动化研究所: 中国科学院自动化研究所, 2019
作者:  申俊志
收藏  |  浏览/下载:80/0  |  提交时间:2019/06/20
代数处理器加速核编程模型研究和实现 学位论文
北京: 中国科学院研究生院, 2018
作者:  杨磊
收藏  |  浏览/下载:35/0  |  提交时间:2018/06/01
基于JAVA的TCAM COMPLIER的设计与实现 学位论文
: 大连理工大学, 2017
作者:  王政操
收藏  |  浏览/下载:6/0  |  提交时间:2019/12/03
基于并行属性的异构众核系统高层编程框架 学位论文
2017
作者:  党博超
收藏  |  浏览/下载:3/0  |  提交时间:2019/11/26
一种面向多线程的编译验证模型 学位论文
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
针对FPGA的IDL-Verilog编译器的设计与实现 期刊论文
现代电子技术, 2017, 卷号: 第40卷 第14期, 页码: 18-22
作者:  吴湛;  王玲;  吴宇
收藏  |  浏览/下载:4/0  |  提交时间:2019/12/31
同步数据流语言时态消去的可信翻译 期刊论文
2016, 2016
张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
收藏  |  浏览/下载:9/0


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