已选(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 |