权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Towards parallel programming environment with certified correctness and complexity

迈向具有经过认证的正确性和复杂性的并行编程环境

基本信息

批准号：
15K15974
负责人：
Emoto Kento
金额：
$ 2.83万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-01 至 2019-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

頂点部分集合変数を備えた大規模グラフ計算用領域特化言語

使用顶点子集变量进行大规模图计算的领域特定语言

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
定平典久;江本健斗
通讯作者：
江本健斗

Think Like a Vertex, Behave Like a Function!--A Functional DSL for Vertex-centric Big Graph Processing--

像顶点一样思考，像函数一样行为！--用于以顶点为中心的大图处理的函数式 DSL--

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Kento Emoto;Kiminori Matsuzaki;Zhejiang Hu;Akimasa Morihata;Hideya Iwasaki
通讯作者：
Hideya Iwasaki

Coqを用いた高度なプログラム運算定理の検証に向けて

使用 Coq 验证高级程序运算定理

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
村田康佑 ;江本健斗
通讯作者：
江本健斗

Coqにおける可読性の高い形式的証明に向けて

在 Coq 中实现高度可读的形式证明

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
村田康佑;江本健斗
通讯作者：
江本健斗

A DSL for graph parallel programming with vertex subsets

用于使用顶点子集进行图并行编程的 DSL

DOI：
10.1007/s11227-019-02821-w
发表时间：
2019
期刊：
The Journal of Supercomputing
影响因子：
0
作者：
Kento Emoto;Fumihisa Sadahira
通讯作者：
Fumihisa Sadahira

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 }}

Emoto Kento其他文献

Emoto Kento的其他文献

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

立即体验

相似海外基金

並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術

用于并发/并行编程的可扩展自动程序验证技术

批准号：
24H00699
财政年份：
2024
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Scientific Research (A)

正しさと効率の保証を備えた平易な並列プログラミング環境の構築に関する研究

构建简单且保证正确性和高效性的并行编程环境的研究

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

正しさと効率の形式的証明を備えたスケルトン並列プログラミング環境に関する研究

具有正确性和效率形式化证明的骨架并行编程环境的研究

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

並列プログラミングのための反転授業向け学習支援ツールの研究

并行编程翻转课堂学习支持工具研究

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

データ並列プログラミング言語のマルチスレッド拡張に関する研究

数据并行编程语言的多线程扩展研究

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

経済システムにおける自己組織化・パターン形成に関するシミュレーション分析の方法 : オブジェクト指向・並列プログラミングによる計算経済学の可能性

经济系统自组织和模式形成的模拟分析方法：使用面向对象和并行编程的计算经济学的可能性

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

プロファイルによる並列プログラミングの支援技術

使用配置文件的并行编程支持技术

批准号：
11780186
财政年份：
1999
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)

自律的なスレッドの計算機間移動を可能とする並列プログラミング環境の構築

构建并行编程环境，实现计算机之间的自主线程移动

批准号：
11780187
财政年份：
1999
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)

超並列データベースシステムとの連係機構を有する超並列プログラミング言語の研究

与大规模并行数据库系统联动机制的大规模并行编程语言研究

批准号：
10780199
财政年份：
1998
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)

並列プログラミング言語の静的解析とそれに基づく最適化の研究

并行编程语言静态分析及基于其的优化研究

批准号：
97J07813
财政年份：
1998
资助金额：
$ 2.83万
项目类别：
Grant-in-Aid for JSPS Fellows