Program Parallelization based on Algebraic Properties and Types
Program Parallelization based on Algebraic Properties and Types
基于代数性质和类型的程序并行化
批准号：
15K15965
负责人：
Morihata Akimasa
金额：
$2.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
累積引数を伴う木構造走査の代数的性質と融合変換に基づく並列計算
基于累加参数和融合变换的树结构遍历代数性质的并行计算
基于累加参数和融合变换的树结构遍历代数性质的并行计算
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki, 森畑明昌]
通讯作者：
森畑明昌
代数的性質に基づくラムダ式の並列評価
基于代数性质的 lambda 表达式的并行计算
基于代数性质的 lambda 表达式的并行计算
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki, 森畑 明昌]
通讯作者：
森畑 明昌
頂点主体並列グラフ処理の制約解消器による効率化
使用约束求解器提高基于顶点的并行图处理的效率
使用约束求解器提高基于顶点的并行图处理的效率
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉]
通讯作者：
岩崎英哉
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning
通过代数简化进行 Lambda 演算，通过方程推理进行简化并行化
通过代数简化进行 Lambda 演算，通过方程推理进行简化并行化
DOI：
10.1145/3341644
发表时间：
2019
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[直井由樹, 山田浩史, Morihata Akimasa]
通讯作者：
Morihata Akimasa
Compilation from Lambda Calculus with Algebraic Simplification to Record Calculus
从 Lambda 演算与代数简化到记录演算的编译
从 Lambda 演算与代数简化到记录演算的编译
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki, Akimasa Morihata, Akimasa Morihata]
通讯作者：
Akimasa Morihata
共 10 条
Incremental Computing based on Program Transformations
-
批准号：19K11896
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.83万
-
财政年份：2019
-
负责人：Morihata Akimasa
-
依托单位：