中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Automated offset detection approaches: Case study in IGS Repro2 and 3 期刊论文
GPS SOLUTIONS, 2024, 卷号: 28, 期号: 3
作者:  Jin Zhang;  Lizhen Lian;  Chengli Huang;  Cancan Xu;  Simeng Zhang
浏览  |  Microsoft Word(3161Kb)  |  收藏  |  浏览/下载：211/0  |  提交时间：2024/05/06
Automated Verification of Correctness for Masked Arithmetic Programs 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Paris, France, July 17, 2023 - July 22, 2023
作者:  Liu, Mingyang;  Song, Fu;  Chen, Taolue
Adobe PDF(717Kb)  |  收藏  |  浏览/下载：427/156  |  提交时间：2023/11/24
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页