×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [13]
山东大学 [9]
清华大学 [8]
北京大学 [5]
厦门大学 [4]
大连理工大学 [4]
更多...
内容类型
期刊论文 [28]
会议论文 [22]
其他 [8]
学位论文 [3]
发表日期
2020 [2]
2019 [3]
2018 [3]
2017 [5]
2016 [5]
2015 [3]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共61条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Automatic Generation of High-Performance FFT Kernels on Arm and X86 CPUs
期刊论文
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2020, 卷号: 31, 期号: 8, 页码: 1925-1941
作者:
Li, Zhihao
;
Jia, Haipeng
;
Zhang, Yunquan
;
Chen, Tun
;
Yuan, Liang
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2020/12/10
AutoFFT
FFT
code generation
template
DFT
Analyzing the Satellite-Induced Code Bias Variation Characteristics for the BDS-3 Via a 40 m Dish Antenna
期刊论文
SENSORS, 2020, 卷号: 20, 期号: 5, 页码: 14
作者:
Hong, Ju
;
Tu, Rui
;
Zhang, Rui
;
Fan, Lihong
;
Zhang, Pengfei
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2020/11/10
third-generation BDS
40 m dish antenna
satellite-induced code bias variation
characteristics analysis
Efficient key generation leveraging channel reciprocity and balanced gray code
期刊论文
WIRELESS NETWORKS, 2019, 卷号: 25, 页码: 611-624
作者:
Zhan, Furui
;
Yao, Nianmin
;
Gao, Zhenguo
;
Lu, Zhimao
;
Chen, Bingcai
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2019/12/02
Key generation
Channel reciprocity
Balanced gray code
Wireless networks
Template-based AADL automatic code generation
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 页码: 698-714
作者:
Hu, Kai
;
Duan, Zhangbo
;
Wang, Jiye
;
Ga, Lingchao
;
Shang, Lihong
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2019/12/30
real-time system
template
formal methods
AADL
automatic code generation
Verilog Code Generation Scheme from Signal Language
会议论文
PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2019-01-01
作者:
Amjad, Hafiz Muhammad
;
Niu, Jianwei
;
Hu, Kai
;
Akram, Naveed
;
Besnard, Loic
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2019/12/30
Embedded systems
safety-critical
Verilog
HDL
Signal language
code generation
Correct-by-construction specification to verified code
期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30
作者:
Ge, Ning
;
Dieumegard, Arnaud
;
Jenn, Eric
;
Voisin, Laurent
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
C
code generation
equivalence proof
Event-B
formal methods
property proof
Automatically Generating API Usage Patterns from Natural Language Queries
会议论文
2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018-01-01
作者:
Tian, Yanfei
;
Wang, Xu
;
Sun, Hailong
;
Zhao, Yi
;
Guo, Chunbo
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
API
Encoder-Decoder Model
API Usage Pattern
Code Generation
Improving on Linear Scan Register Allocation
期刊论文
International Journal of Automation and Computing, 2018, 卷号: 15, 期号: 2, 页码: 228-238
作者:
Shahrzad Kananizadeh
;
Kirill Kononenko
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2021/02/23
Register allocation
just-in-time compilation
code generation
static analysis
dynamic analysis.
Transient analysis code development for S-CO2 brayton cycle based reactor system
会议论文
作者:
Wu, Pan
;
Shan, Jianqiang
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/11/26
Code development
Comparison with experiments
Compressor modeling
Electric energy conversion
Heat conduction models
Heat transfer model
Power generation applications
S-CO2
On the using of discrete wavelet transform for physical layer key generation
期刊论文
AD HOC NETWORKS, 2017, 卷号: 64, 页码: 22-31
作者:
Zhan, Furui
;
Yao, Nianmin
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/09
Key generation
Wireless channel reciprocity
Discrete wavelet transform
Gray code
©版权所有 ©2017 CSpace - Powered by
CSpace