Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
基于群范围反射的自适应并行系统规范和运行时验证方法
批准号：
15K00089
负责人：
Watanabe Takuo
金额：
$2.91万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
アクターシステムを対象としたリバースデバッギングのためのフレームワーク
Actor系统逆向调试框架
Actor系统逆向调试框架
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[柴内一宏, 渡部卓雄]
通讯作者：
渡部卓雄
自己反映アクターモデルに基づく並行/分散COPシステム
基于自反射行为体模型的并行/分布式COP系统
基于自反射行为体模型的并行/分布式COP系统
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Code Oriented Diagram Editorを用いた並行バグの可視化
使用面向代码的图表编辑器可视化并行错误
使用面向代码的图表编辑器可视化并行错误
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[大村裕, 荒堀喜貴, 権藤克彦, 渡部卓雄]
通讯作者：
渡部卓雄
CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems
CFRP：一种用于小型嵌入式系统的函数式反应式编程语言
CFRP：一种用于小型嵌入式系统的函数式反应式编程语言
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kohei Suzuki, Kanato Nagayama, Kensuke Sawada, Takuo Watanabe]
通讯作者：
Takuo Watanabe
時相論理式の反証を用いた制御器のチューニング
使用时序逻辑公式的伪造来调整控制器
使用时序逻辑公式的伪造来调整控制器
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[峰尾太陽, 石井大輔, 渡部卓雄]
通讯作者：
渡部卓雄
共 26 条
Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming
-
批准号：18K11236
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.83万
-
财政年份：2018
-
负责人：Watanabe Takuo
-
依托单位：
海外基金