×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
计算技术研究所 [21]
内容类型
期刊论文 [21]
发表日期
2020 [2]
2019 [1]
2017 [2]
2015 [1]
2011 [1]
2010 [3]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共21条,第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
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2020/12/10
AutoFFT
FFT
code generation
template
DFT
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:
Zhang, Ying
;
Chakrabarty, Krishnendu
;
Peng, Zebo
;
Rezine, Ahmed
;
Li, Huawei
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2020/12/10
Circuit faults
Built-in self-test
Out of order
Model checking
Integrated circuit modeling
Bounded model checking (BMC)
online testing
out-of-order superscalar processors
software-based self-testing (SBST)
Automatic generation of related work through summarizing citations
期刊论文
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 卷号: 31, 期号: 3, 页码: 12
作者:
Hai Zhuge
;
Chen, Jingqiang
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2019/04/03
citation
related work generation
Summarization
Multi-modal tag localization for mobile video search
期刊论文
MULTIMEDIA SYSTEMS, 2017, 卷号: 23, 期号: 6, 页码: 713-724
作者:
Zhang, Rui
;
Tang, Sheng
;
Liu, Wu
;
Zhang, Yongdong
;
Li, Jintao
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2019/12/12
Tag localization
Mobile video search
Multi-modality fusion
Automatic maintenance of category hierarchy
期刊论文
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2017, 卷号: 67, 页码: 1-12
作者:
Hai Zhuge
;
Lei He
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2019/12/12
Category
Category hierarchy
Classification
Clustering
Maintenance
Resource Space Model
A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation
期刊论文
MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 页码: 15
作者:
Xing, Ying
;
Gong, Yun-Zhan
;
Wang, Ya-Wen
;
Zhang, Xu-Zhou
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2019/12/13
Using Launch-on-Capture for Testing Scan Designs Containing Synchronous and Asynchronous Clock Domains
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2011, 卷号: 30, 期号: 3, 页码: 455-463
作者:
Wu, Shianling
;
Wang, Laung-Terng
;
Wen, Xiaoqing
;
Jiang, Zhigang
;
Tan, Lang
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/16
Aligned launch-on-capture
at-speed scan testing
double-capture
hybrid launch-on-capture
launch-on-capture
one-hot launch-on-capture
staggered launch-on-capture
Automatic string test data generation for detecting domain errors
期刊论文
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 卷号: 20, 期号: 3, 页码: 209-236
作者:
Zhao, Ruilian
;
Lyu, Michael R.
;
Min, Yinghua
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/16
domain testing
string predicate
dynamic test data generation
ON-OFF test point
A Distributed Decision Making Method in Cognitive Radio Networks for Spectrum Management
期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2010, 卷号: 19, 期号: 2, 页码: 195-200
作者:
Ge Yuming
;
Sun Yi
;
Lu Shan
;
Dutkiewicz, Eryk
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/16
Cognitive radio networks
Reconfiguration
Spectrum decision
Physical Design Methodology for Godson-2G Microprocessor
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2010, 卷号: 25, 期号: 2, 页码: 225-231
作者:
Zhao, Ji-Ye
;
Liu, Dong
;
Huan, Dan-Dan
;
Su, Meng-Hao
;
Xiao, Bin
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/16
computer architecture
Godson-2G
physical design methodology
nanometer process
©版权所有 ©2017 CSpace - Powered by
CSpace