消息
×
loading..
中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Verification of Bit-Flip Attacks against Quantized Neural Networks 期刊论文
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2025, 卷号: 9, 期号: OOPSLA1
作者:  Zhang, Yedi;  Huang, Lei;  Gao, Pengfei;  Song, Fu;  Sun, Jun
Adobe PDF(1010Kb)  |  收藏  |  浏览/下载：8/1  |  提交时间：2025/05/30
Verifying Declarative Smart Contracts 会议论文
INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, Lisbon, Portugal, 2024-4-14 - 2024-4-19
作者:  Chen, Haoxian;  Lu, Lan;  Massey, Brendan;  Wang, Yuepeng;  Loo, Boon Thau
Adobe PDF(1059Kb)  |  收藏  |  浏览/下载：362/1  |  提交时间：2024/04/09
QVIP: An ILP-based formal verification approach for quantized neural networks 会议论文
PROCEEDINGS OF THE 37TH IEEE/ ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, Oakland Univ,null,MI, OCT 10-14, 2022
作者:  Zhang, Yedi;  Zhao, Zhe;  Chen, Guangke;  Song, Fu;  Zhang, Min
Adobe PDF(1853Kb)  |  收藏  |  浏览/下载：372/0  |  提交时间：2022/11/09
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022, 卷号: 32, 期号: 3
作者:  Zhang, Yedi;  Zhao, Zhe;  Chen, Guangke;  Song, Fu;  Chen, Taolue
Adobe PDF(1848Kb)  |  收藏  |  浏览/下载：245/0  |  提交时间：2022/11/09
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 卷号: 30, 期号: 3
作者:  Gao, Pengfei;  Xie, Hongyi;  Song, Fu;  Chen, Taolue
Adobe PDF(1205Kb)  |  收藏  |  浏览/下载：549/255  |  提交时间：2021/11/25
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页