Generating Distributed Programs from High Level Specification Based on Combinatorial Topology
Generating Distributed Programs from High Level Specification Based on Combinatorial Topology
基于组合拓扑的高级规范生成分布式程序
批准号：
16K00016
负责人：
Nishimura Susumu
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
分散即時スナップショットの数え上げ組み合わせ論
计算分布式即时快照的组合
计算分布式即时快照的组合
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Yong Jiao, Eyuri Wakakuwa, Tomohiro Ogawa, Hiroshi Nagaoka, Hiroshi Nagaoka, Tomohiro Ogawa, Susumu Nishimura, 西村進, 西村 進, 西村 進]
通讯作者：
西村 進
Schlegel Diagram and Optimizable Immediate Snapshot Protocol
Schlegel 图和可优化即时快照协议
Schlegel 图和可优化即时快照协议
DOI：
10.4230/lipics.opodis.2017.22
发表时间：
2018
期刊：
21st International Conference on Principles of Distributed Systems (OPODIS 2017)
影响因子：
--
作者：
[Yong Jiao, Eyuri Wakakuwa, Tomohiro Ogawa, Hiroshi Nagaoka, Hiroshi Nagaoka, Tomohiro Ogawa, Susumu Nishimura]
通讯作者：
Susumu Nishimura
単体数え上げによる分散計算の組合せトポロジー
使用单纯形计数的分布式计算的组合拓扑
使用单纯形计数的分布式计算的组合拓扑
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Yong Jiao, Eyuri Wakakuwa, Tomohiro Ogawa, Hiroshi Nagaoka, Hiroshi Nagaoka, Tomohiro Ogawa, Susumu Nishimura, 西村進, 西村 進]
通讯作者：
西村 進
単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム
使用单纯复形的连续变形的分布式任务的可行性确定算法
使用单纯复形的连续变形的分布式任务的可行性确定算法
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Yong Jiao, Eyuri Wakakuwa, Tomohiro Ogawa, Hiroshi Nagaoka, Hiroshi Nagaoka, Tomohiro Ogawa, Susumu Nishimura, 西村進, 西村 進, 西村 進, 西村進, 西村進]
通讯作者：
西村進
研究成果に関する arXiv 論文
arXiv 研究成果论文
arXiv 研究成果论文
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 9 条
Formalization and verification of shared-memory parallel programs in game semantics
-
批准号：24500014
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.41万
-
财政年份：2012
-
负责人：Nishimura Susumu
-
依托单位：
海外基金