KMS

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

已选(0)清除 条数/页:   排序方式:
RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2025, 卷号: 44, 期号: 2, 页码: 791-804
作者:  Rui Li;  Lin Li;  Heng Yu;  Masahiro Fujita;  Weixiong Jiang
Adobe PDF(6854Kb)  |  收藏  |  浏览/下载:336/10  |  提交时间:2024/08/26
Differentially Private Federated Learning via Reconfigurable Intelligent Surface 期刊论文
IEEE INTERNET OF THINGS JOURNAL, 2022, 卷号: 9, 期号: 20
作者:  Yuhan Yang;  Yong Zhou;  Youlong Wu;  Yuanming Shi
Adobe PDF(1801Kb)  |  收藏  |  浏览/下载:1192/304  |  提交时间:2022/05/20
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas 会议论文
LECTURE NOTES IN COMPUTER SCIENCE, Beijing, China, November 25, 2021 - November 27, 2021
作者:  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(2466Kb)  |  收藏  |  浏览/下载:322/0  |  提交时间:2021/12/17
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页