CSpace

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

限定条件    
已选(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  
SimK: A Large-Scale Parallel Simulation Engine 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 6, 页码: 1048-1060
作者:  Xu, Jian-Wei;  Chen, Ming-Yu;  Zheng, Gui;  Cao, Zheng;  Lv, Hui-Wei;  Sun, Ning-Hui
收藏  |  浏览/下载:59/0  |  提交时间:2019/12/16
large scale system simulation  fine-grained synchronization  simulation framework  lock-free synchronization