×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
武汉大学 [24]
软件研究所 [14]
厦门大学 [10]
西安交通大学 [10]
北京大学 [8]
清华大学 [6]
更多...
内容类型
期刊论文 [74]
学位论文 [55]
会议论文 [2]
图书 [1]
发表日期
2017 [7]
2016 [7]
2015 [8]
2014 [2]
2013 [5]
2012 [7]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共132条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
MaPU编程语言及编译器关键技术研究
学位论文
北京市海淀区中关村东路95号自动化研究所: 中国科学院自动化研究所, 2019
作者:
申俊志
收藏
  |  
浏览/下载:80/0
  |  
提交时间:2019/06/20
编程语言设计
编译器设计与实现
Vliw
指令调度
代数处理器加速核编程模型研究和实现
学位论文
北京: 中国科学院研究生院, 2018
作者:
杨磊
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2018/06/01
异构系统加速核
指令级并行
有限状态机
编程模型
编译器设计
基于JAVA的TCAM COMPLIER的设计与实现
学位论文
: 大连理工大学, 2017
作者:
王政操
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/03
内容寻址存储器
模块化开发
编译器
可移植性
基于并行属性的异构众核系统高层编程框架
学位论文
2017
作者:
党博超
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/11/26
异构众核
编程框架
编译器
GPU
CUDA
一种面向多线程的编译验证模型
学位论文
2017
作者:
张晓曈
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/05
形式化方法
编译器验证
可信软件
可信编译
基于动态语义的Java源程序分析
学位论文
2017
作者:
刘瑞
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2019/12/05
动态语义
程序转换
形式化验证
可信编译器
定理证明器Isabelle/HOL
一种适用于可信编译器的源语言转换与检查框架
期刊论文
中国科技论文, 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
软件通信体系结构CORBAFPGAIDL编译器
同步数据流语言时态消去的可信翻译
期刊论文
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