Generating Distributed Programs from High Level Specification Based on Combinatorial Topology

基于组合拓扑的高级规范生成分布式程序

基本信息

  • 批准号：
    16K00016
  • 负责人：
    Nishimura Susumu
  • 金额：
    $ 2.5万
  • 依托单位：
    Kyoto University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2016
  • 资助国家：
    日本
  • 起止时间：
    2016-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
分散即時スナップショットの数え上げ組み合わせ論
计算分布式即时快照的组合
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yong Jiao;Eyuri Wakakuwa;Tomohiro Ogawa;Hiroshi Nagaoka;Hiroshi Nagaoka;Tomohiro Ogawa;Susumu Nishimura;西村進;西村 進;西村 進
  • 通讯作者：
    西村 進
Schlegel Diagram and Optimizable Immediate Snapshot Protocol
Schlegel 图和可优化即时快照协议
単体数え上げによる分散計算の組合せトポロジー
使用单纯形计数的分布式计算的组合拓扑
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yong Jiao;Eyuri Wakakuwa;Tomohiro Ogawa;Hiroshi Nagaoka;Hiroshi Nagaoka;Tomohiro Ogawa;Susumu Nishimura;西村進;西村 進
  • 通讯作者：
    西村 進
単体的複体の連続変形による分散タスクの実現可能性判定アルゴリズム
使用单纯复形的连续变形的分布式任务的可行性确定算法
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yong Jiao;Eyuri Wakakuwa;Tomohiro Ogawa;Hiroshi Nagaoka;Hiroshi Nagaoka;Tomohiro Ogawa;Susumu Nishimura;西村進;西村 進;西村 進;西村進;西村進
  • 通讯作者：
    西村進
研究成果に関する arXiv 論文
arXiv 研究成果论文
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

Nishimura Susumu其他文献

Tertiary structures of Escherichia coli tRNA as studied by NMR spectroscopy with 13C‐labeling method
通过 13C 标记方法的 NMR 波谱研究大肠杆菌 tRNA 的三级结构
  • DOI：
    10.1016/0014-5793(80)81001-5
  • 发表时间：
    1980
  • 期刊：
    FEBS Letters
  • 影响因子：
    3.5
  • 作者：
    Yokoyama Shigeyuki;K. Usuki;Yamaizumi Ziro;Nishimura Susumu;Miyazawa Tatsuo
  • 通讯作者：
    Miyazawa Tatsuo

Nishimura Susumu的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Nishimura Susumu', 18)}}的其他基金

Formalization and verification of shared-memory parallel programs in game semantics
游戏语义中共享内存并行程序的形式化与验证
  • 批准号：
    24500014
  • 财政年份：
    2012
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

確率場データ解析のための積分・位相幾何的手法と期待オイラー標数法の新展開
随机场数据分析的积分/拓扑方法和预期欧拉特征方法的新进展
  • 批准号：
    23K21649
  • 财政年份：
    2024
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
確率場データ解析のための積分・位相幾何的手法と期待オイラー標数法の新展開
随机场数据分析的积分/拓扑方法和预期欧拉特征方法的新进展
  • 批准号：
    21H03403
  • 财政年份：
    2021
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
位相幾何的手法の分岐理論研究への応用
拓扑方法在分岔理论研究中的应用
  • 批准号：
    04640258
  • 财政年份：
    1992
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了