Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming
Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming
批准号:
18K11236
负责人:
Watanabe Takuo
金额:
$2.83万
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2018
资助国家:
日本
项目状态:
已结题
起止时间:
2018-04-01 至 2022-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(30)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.11309/jssst.35.2_33
发表时间:
2018
期刊:
Computer Software
影响因子:
--
作者:
[高桑健太郎, 渡部卓雄]
通讯作者:
渡部卓雄
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
小型嵌入式系统 FRP 语言的简单面向上下文编程扩展
DOI:
--
发表时间:
2018
期刊:
影响因子:
--
作者:
[Okubo Takao, Kaiya Haruhiko, Takuo Watanabe]
通讯作者:
Takuo Watanabe
Functional Reactive Programming for Embedded Systems with GPGPUs
使用 GPGPU 的嵌入式系统的函数式反应式编程
DOI:
--
发表时间:
2021
期刊:
影响因子:
--
作者:
[Yoshitaka Sakurai, Sosuke Moriguchi, Takuo Watanabe]
通讯作者:
Takuo Watanabe
Developing Coordinating Distributed Applications in a Pure FRP Language
使用纯 FRP 语言开发协调分布式应用程序
DOI:
--
发表时间:
2020
期刊:
影响因子:
--
作者:
[Takuo Watanabe, Kazuhiro Shibanai]
通讯作者:
Kazuhiro Shibanai
状態遷移を表現する組込みシステム向けFRP言語の設計
表达状态转换的嵌入式系统FRP语言设计
DOI:
--
发表时间:
2020
期刊:
影响因子:
--
作者:
[松村有倫, 渡部卓雄]
通讯作者:
渡部卓雄
共 29 条
Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
-
批准号:15K00089
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.91万
-
财政年份:2015
-
负责人:Watanabe Takuo
-
依托单位: