CSpace

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

已选(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
收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04
software-based self-testing (SBST)  parallel test  kilo-core networks-on-chip (NoCs)  online testing  
无权访问的条目 学位论文
作者:  于金萍
Adobe PDF(6226Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2018/07/02
无权访问的条目 学位论文
作者:  洪宗会
Adobe PDF(1827Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2018/06/22
无权访问的条目 学位论文
作者:  潘恒
Adobe PDF(2262Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2018/06/22
无权访问的条目 学位论文
作者:  龚关俊
Adobe PDF(2477Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2018/07/04
An efficient local search algorithm for the winner determination problem 期刊论文
JOURNAL OF HEURISTICS, 2017, 卷号: 23, 期号: 5, 页码: 367-396
作者:  Zhang, Haochen;  Cai, Shaowei;  Luo, Chuan;  Yin, Minghao
收藏  |  浏览/下载:44/0  |  提交时间:2019/12/12
Winner determination problem  Local search  Configuration checking  Pseudo-tie mechanism  
无权访问的条目 学位论文
作者:  王阳
Adobe PDF(10839Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2017/06/20
无权访问的条目 学位论文
作者:  王瑞敏
Adobe PDF(5142Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2017/06/21
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文
ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44
作者:  Luo, Chuan;  Cai, Shaowei;  Su, Kaile;  Huang, Wenxuan
收藏  |  浏览/下载:40/0  |  提交时间:2019/12/12
Local search  Weighted partial maximum satisfiability  Emphasis on hard clauses  
无权访问的条目 学位论文
作者:  付晓毓
Adobe PDF(2294Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2016/07/11