×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
武汉大学 [12]
厦门大学 [7]
西安交通大学 [7]
软件研究所 [7]
大连理工大学 [4]
山东大学 [3]
更多...
内容类型
学位论文 [55]
发表日期
2019 [1]
2018 [1]
2017 [5]
2016 [3]
2015 [5]
2014 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共55条,第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
作者:
申俊志
收藏
  |  
浏览/下载:82/0
  |  
提交时间:2019/06/20
编程语言设计
编译器设计与实现
Vliw
指令调度
代数处理器加速核编程模型研究和实现
学位论文
北京: 中国科学院研究生院, 2018
作者:
杨磊
收藏
  |  
浏览/下载:37/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
Java编译器的可信验证方法研究
学位论文
2017
作者:
沈云飞
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/05
可信编译器
可信验证系统
转换工具
形式化方法
正则表达式
嵌入式系统的编译器设计及其关键技术研究
学位论文
2016, 2015
陈本彬
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/06/20
嵌入式编译器
ASIPs
节点频率预测
任务调度
Embedded Compiler
ASIPs
Node Frequencies Prediction
Scheduling
反编译中的指令习语识别和多入口循环规整方法的研究
学位论文
2016
作者:
张磊
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/02
反编译
编译优化
指令习语
多入口循环
ASMBoom反编译器
机器检测的验证编译器:从mJava到Micro-Dalvik虚拟机
学位论文
2016
作者:
江南
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/05
验证编译器
机器检测
寄存器架构虚拟机
面向对象
©版权所有 ©2017 CSpace - Powered by
CSpace