A reversible debugging model for real-time concurrent programs
A reversible debugging model for real-time concurrent programs
一种实时并发程序的可逆调试模型
批准号：
17H01722
负责人：
YUEN SHOJI
金额：
$11.9万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.4230/darts.6.2.18
发表时间：
2020-05
期刊：
ArXiv
影响因子：
--
作者：
[Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen]
通讯作者：
Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
可逆计算案例研究：并发程序的可逆调试
可逆计算案例研究：并发程序的可逆调试
DOI：
10.1007/978-3-030-47361-7_5
发表时间：
2020
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Hoey James, Lanese Ivan, Nishida Naoki, Ulidowski Irek, Vidal Germ?n]
通讯作者：
Vidal Germ?n
DOI：
10.1007/978-3-030-52482-1_14
发表时间：
2020-06-17
期刊：
Reversible Computation
影响因子：
--
作者：
[Galindo C, Nishida N, Silva J, Tamarit S]
通讯作者：
Tamarit S
University of Leicester(英国)
莱斯特大学（英国）
莱斯特大学（英国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Reversible CSP Computations
可逆 CSP 计算
可逆 CSP 计算
DOI：
10.1109/tpds.2021.3051747
发表时间：
2021
期刊：
IEEE Transactions on Parallel and Distributed Systems
影响因子：
5.3
作者：
[Galindo Carlos, Nishida Naoki, Silva Josep, Tamarit Salvador]
通讯作者：
Tamarit Salvador
共 27 条
A discrete execution model of dense-timed programs
-
批准号：17K19969
-
项目类别：Grant-in-Aid for Challenging Research (Exploratory)
-
资助金额：$3.99万
-
财政年份：2017
-
负责人：YUEN SHOJI
-
依托单位：