Program Parallelization based on Algebraic Properties and Types

基于代数性质和类型的程序并行化

基本信息

  • 批准号：
    15K15965
  • 负责人：
    Morihata Akimasa
  • 金额：
    $ 2.41万
  • 依托单位：
    The University of Tokyo
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 财政年份：
    2015
  • 资助国家：
    日本
  • 起止时间：
    2015-04-01 至 2020-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
累積引数を伴う木構造走査の代数的性質と融合変換に基づく並列計算
基于累加参数和融合变换的树结构遍历代数性质的并行计算
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Masaya Shimakawa;Shigeki Hagihara;Naoki Yonezaki;森畑明昌
  • 通讯作者：
    森畑明昌
代数的性質に基づくラムダ式の並列評価
基于代数性质的 lambda 表达式的并行计算
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Shigeki Hagihara;Masaya Shimakawa;Naoki Yonezaki;森畑 明昌
  • 通讯作者：
    森畑 明昌
頂点主体並列グラフ処理の制約解消器による効率化
使用约束求解器提高基于顶点的并行图处理的效率
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    森畑明昌;江本健斗;松崎公紀;胡振江;岩崎英哉
  • 通讯作者：
    岩崎英哉
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning
通过代数简化进行 Lambda 演算，通过方程推理进行简化并行化
最適部分列問題に対する統一的な並列アルゴリズム
最优子序列问题的统一并行算法
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Shigeki Hagihara;Yoshiharu Fushihara;Masaya Shimakawa;Masahiko Tomoishi;Naoki Yonezaki;森畑 明昌
  • 通讯作者：
    森畑 明昌
{{ 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 }}

Morihata Akimasa其他文献

Conjuring Fusion Laws via Relational Calculus
通过关系微积分召唤融合定律
  • DOI：
    10.2197/ipsjjip.31.21
  • 发表时间：
    2023
  • 期刊：
    Journal of Information Processing
  • 影响因子：
    0
  • 作者：
    Kazuki Chugo;Yukinori Sato;Morihata Akimasa
  • 通讯作者：
    Morihata Akimasa

Morihata Akimasa的其他文献

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

{{ truncateString('Morihata Akimasa', 18)}}的其他基金

Incremental Computing based on Program Transformations
基于程序转换的增量计算
  • 批准号：
    19K11896
  • 财政年份：
    2019
  • 资助金额：
    $ 2.41万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了