CSpace

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

限定条件            
已选(0)清除 条数/页:   排序方式:
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421
作者:  Zhang, Ying;  Ji, Peng-Fei;  Zhu, Pan-Wei;  Peng, Zebo;  Li, Hua-Wei;  Jiang, Jian-Hui
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
software-based self-testing (SBST)  parallel test  kilo-core networks-on-chip (NoCs)  online testing  
LMM: A Fixed-Point Linear Mapping Based Approximate Multiplier for IoT 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 298-308
作者:  Qian, Wei-Kang;  Chen, Ke;  Liu, Wei-Qiang;  Li, Hua-Wei
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
approximate computing  fixed-point  linear mapping  multiplier  Internet of Things (IoT)  
Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei
收藏  |  浏览/下载:30/0  |  提交时间:2021/12/01
hardware formal verification  assertion generation  data mining  assertion evaluation  assertion coverage  
CPicker: Leveraging Performance-Equivalent Configurations to Improve Data Center Energy Efficiency 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2018, 卷号: 33, 期号: 1, 页码: 131-144
作者:  Sun, Fa-Qiang;  Yan, Gui-Hai;  He, Xin;  Li, Hua-Wei;  Han, Yin-He
收藏  |  浏览/下载:56/0  |  提交时间:2019/12/10
performance equivalence  energy efficiency  data center  power management  dynamic voltage and frequency scaling (DVFS)  
Selected Crosstalk Avoidance Code for Reliable Network-on-Chip 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 6, 页码: 1074-1085
作者:  Zhang, Ying;  Li, Hua-Wei;  Li, Xiao-Wei
收藏  |  浏览/下载:41/0  |  提交时间:2019/12/16
crosstalk avoidance  codeword selection  reliable network-on-chip  single event upset