Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection

基于群范围反射的自适应并行系统规范和运行时验证方法

基本信息

批准号：
15K00089
负责人：
Watanabe Takuo
金额：
$ 2.91万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-01 至 2018-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

アクターシステムを対象としたリバースデバッギングのためのフレームワーク

Actor系统逆向调试框架

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
柴内一宏;渡部卓雄
通讯作者：
渡部卓雄

自己反映アクターモデルに基づく並行/分散COPシステム

基于自反射行为体模型的并行/分布式COP系统

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms

卫生宏定义机制的多语言实现方法

DOI：
10.11309/jssst.35.2_33
发表时间：
2018
期刊：
Computer Software
影响因子：
0
作者：
高桑健太郎;渡部卓雄
通讯作者：
渡部卓雄

Code Oriented Diagram Editorを用いた並行バグの可視化

使用面向代码的图表编辑器可视化并行错误

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
大村裕;荒堀喜貴;権藤克彦;渡部卓雄
通讯作者：
渡部卓雄

CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems

CFRP：一种用于小型嵌入式系统的函数式反应式编程语言

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Kohei Suzuki;Kanato Nagayama;Kensuke Sawada;Takuo Watanabe
通讯作者：
Takuo Watanabe

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Watanabe Takuo其他文献

NoCに基づいた血管径計測手法における動的ルーティングアルゴリズム

基于NoC的血管直径测量方法中的动态路由算法

DOI：
发表时间：
2023
期刊：
影响因子：
0
作者：
Yokoyama Akihiko;Moriguchi Sosuke;Watanabe Takuo;江野口裕希，横川智教，佐藤洋一郎，近藤真史
通讯作者：
江野口裕希，横川智教，佐藤洋一郎，近藤真史

次世代の集積回路技術に基づく革新的な医用画像処理への挑戦

基于下一代综合电路技术的创新医学图像处理的挑战

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Yokoyama Akihiko;Moriguchi Sosuke;Watanabe Takuo;江野口裕希，横川智教，佐藤洋一郎，近藤真史;江野口裕希，横川智教，佐藤洋一郎，近藤真史;近藤真史
通讯作者：
近藤真史

Watanabe Takuo的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

{{ truncateString('Watanabe Takuo', 18)}}的其他基金

Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming

集成参与者模型和函数响应式编程的嵌入式系统开发支持

批准号：
18K11236
财政年份：
2018
资助金额：
$ 2.91万
项目类别：
Grant-in-Aid for Scientific Research (C)

相似海外基金

Specification Methods for Runtime Verification of Reflective Software

反射软件运行时验证的规范方法

批准号：
24500033
财政年份：
2012
资助金额：
$ 2.91万
项目类别：
Grant-in-Aid for Scientific Research (C)

自己反映計算を用いた耐タンパ・ソフトウェアの系統的構成方式と記述言語の研究

基于自反射计算的防篡改软件系统配置方法及描述语言研究

批准号：
14780205
财政年份：
2002
资助金额：
$ 2.91万
项目类别：
Grant-in-Aid for Young Scientists (B)

モバイルエージェントシステム及びコンポーネントの自己反映計算に関する研究

移动代理系统及组件自反射计算研究

批准号：
02F02748
财政年份：
2002
资助金额：
$ 2.91万
项目类别：
Grant-in-Aid for JSPS Fellows