Formalization and verification of shared-memory parallel programs in game semantics
Formalization and verification of shared-memory parallel programs in game semantics
游戏语义中共享内存并行程序的形式化与验证
批准号：
24500014
负责人：
Nishimura Susumu
金额：
$3.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
共享变量上非阻塞同步的完全抽象并行并行语义
共享变量上非阻塞同步的完全抽象并行并行语义
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[西村進, Susumu Nishimura]
通讯作者：
Susumu Nishimura
組合せトポロジーによる分散並列プロトコル発見アルゴリズム
使用组合拓扑的分布式并行协议发现算法
使用组合拓扑的分布式并行协议发现算法
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[西村 進]
通讯作者：
西村 進
順序複体上の連続変形発見による分散プログラムの導出
通过查找有序复合体的连续变形来推导分布式程序
通过查找有序复合体的连续变形来推导分布式程序
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[西村 進]
通讯作者：
西村 進
DOI：
--
发表时间：
期刊：
情報処理学会論文誌プログラミング
影响因子：
--
作者：
[Keisuke Watanabe, Susumu Nishimura]
通讯作者：
Susumu Nishimura
公平な並列実行のためのゲーム意味論
公平并行执行的游戏语义
公平并行执行的游戏语义
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[西村進]
通讯作者：
西村進
Generating Distributed Programs from High Level Specification Based on Combinatorial Topology
-
批准号：16K00016
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.5万
-
财政年份：2016
-
负责人：Nishimura Susumu
-
依托单位：
海外基金