Study on a simple and flexible type system for relaxed memory consistency models
Study on a simple and flexible type system for relaxed memory consistency models
一种简单灵活的宽松内存一致性模型类型系统研究
批准号：
25730050
负责人：
Maeda Toshiyuki
金额：
$1.16万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Optimization of a general model checking framework for various memory consistency models
各种内存一致性模型通用模型检查框架的优化
各种内存一致性模型通用模型检查框架的优化
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto, 安部達也, 安部達也, 安部達也, 安部達也, 安部達也, 安部達也, Tatsuya Abe and Toshiyuki Maeda, 安部達也, Tatsuya Abe and Toshiyuki Maeda]
通讯作者：
Tatsuya Abe and Toshiyuki Maeda
Towards a unified verification theory for various memory consistency models
走向各种内存一致性模型的统一验证理论
走向各种内存一致性模型的统一验证理论
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto, 安部達也, 安部達也, 安部達也, 安部達也, 安部達也, 安部達也, Tatsuya Abe and Toshiyuki Maeda]
通讯作者：
Tatsuya Abe and Toshiyuki Maeda
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[Tatsuya Abe;T. Maeda]
通讯作者：
Tatsuya Abe;T. Maeda
DOI：
10.1007/s10009-016-0429-y
发表时间：
2014-05
期刊：
International Journal on Software Tools for Technology Transfer
影响因子：
1.5
作者：
[Tatsuya Abe;T. Maeda]
通讯作者：
Tatsuya Abe;T. Maeda
Descriptive analysis of environmental reports using text mining technique
-
批准号：15K03802
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.41万
-
财政年份：2015
-
负责人：Maeda Toshiyuki
-
依托单位：
海外基金