Research on Efficient and Precise Runtime Checking of Concurrent Software
Research on Efficient and Precise Runtime Checking of Concurrent Software
高效精准的并发软件运行时检查研究
批准号：
16K00093
负责人：
Arahori Yoshitaka
金额：
$2.91万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
分散並行ファジング
分布式并行模糊测试
分布式并行模糊测试
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[石山泰地, 荒堀喜貴, 権藤克彦]
通讯作者：
権藤克彦
イベント駆動コードの差分解析を可能にするパス探査経験則
路径探索启发法可对事件驱动代码进行差异分析
路径探索启发法可对事件驱动代码进行差异分析
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[冨永江奈, 荒堀喜貴, 権藤克彦]
通讯作者：
権藤克彦
強化学習に基づく並行バグ検知
基于强化学习的并行错误检测
基于强化学习的并行错误检测
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[李兆亮, 荒堀喜貴, 権藤克彦]
通讯作者：
権藤克彦
サンプリングに基づく分散悪性競合のオンライン検出
基于采样的分布式恶意冲突在线检测
基于采样的分布式恶意冲突在线检测
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[片平遥香, 荒堀喜貴, 権藤克彦]
通讯作者：
権藤克彦
分散並行バグ動的検出の大規模性能シミュレータ
用于分布式并行缺陷动态检测的大规模性能模拟器
用于分布式并行缺陷动态检测的大规模性能模拟器
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[片平遥香, 荒堀喜貴]
通讯作者：
荒堀喜貴
共 12 条
Transactional Symbolic Execution
-
批准号：26730033
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.41万
-
财政年份：2014
-
负责人：Arahori Yoshitaka
-
依托单位：