Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems
Comprehensive Analysis and Repairing Techniques for Stateful Deep Learning Systems
有状态深度学习系统综合分析与修复技术
批准号：
20H04168
负责人：
MA LEI
金额：
$11.32万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2020
资助国家：
日本
项目状态：
已结题
起止时间：
2020-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(53)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Formalism-Driven Development: Concepts, Taxonomy, and Practice
形式主义驱动的开发：概念、分类和实践
形式主义驱动的开发：概念、分类和实践
DOI：
10.3390/app12073415
发表时间：
2022
期刊：
Applied Sciences
影响因子：
--
作者：
[Ding Yepeng, Sato Hiroyuki]
通讯作者：
Sato Hiroyuki
DOI：
10.1609/aaai.v35i13.17391
发表时间：
2021-05
期刊：
影响因子：
--
作者：
[Xiyue Zhang;Xiaoning Du;Xiaofei Xie;Lei Ma;Yang Liu;Mengfei Sun]
通讯作者：
Xiyue Zhang;Xiaoning Du;Xiaofei Xie;Lei Ma;Yang Liu;Mengfei Sun
DOI：
10.1109/iccv48922.2021.01066
发表时间：
2021-07
期刊：
2021 IEEE/CVF International Conference on Computer Vision (ICCV)
影响因子：
--
作者：
[Qing Guo;Ziyi Cheng;Felix Juefei-Xu;L. Ma;Xiaofei Xie;Yang Liu;Jianjun Zhao]
通讯作者：
Qing Guo;Ziyi Cheng;Felix Juefei-Xu;L. Ma;Xiaofei Xie;Yang Liu;Jianjun Zhao
DOI：
10.1109/cain58948.2023.00017
发表时间：
2023-05
期刊：
2023 IEEE/ACM 2nd International Conference on AI Engineering – Software Engineering for AI (CAIN)
影响因子：
--
作者：
[Yuta Ishimoto;Ken Matsui;Masanari Kondo;Naoyasu Ubayashi;Yasutaka Kamei]
通讯作者：
Yuta Ishimoto;Ken Matsui;Masanari Kondo;Naoyasu Ubayashi;Yasutaka Kamei
Tsinghua University(中国)
清华大学（中国）
清华大学（中国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 46 条
Differential Testing Techniques Towards Large-scale Deployment of Deep Learning Systems
-
批准号：19K24348
-
项目类别：Grant-in-Aid for Research Activity Start-up
-
资助金额：$1.83万
-
财政年份：2019
-
负责人：MA LEI
-
依托单位：
海外基金