课题基金 / 基金详情

A Program Verification Theory of Memory Consistency Models on PGAS languages and its Implementation

A Program Verification Theory of Memory Consistency Models on PGAS languages and its Implementation
PGAS语言内存一致性模型的程序验证理论及其实现
批准号：
25871113
负责人：
Abe Tatsuya
金额：
$2.75万
依托单位：
Chiba Institute of Technology (2015-2016)The Institute of Physical and Chemical Research (2013-2014)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25871113/
关键词：
メモリ一貫性モデルプログラム検証モデル検査プログラム論理PGAS言語形式的体系

项目摘要

项目成果

Abe Tatsuya的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
メモリ一貫性モデルを考慮したソフトウェアモデル検査のためのモデル検査器生成器 McSPIN
McSPIN，模型检查器生成器，用于考虑内存一致性模型的软件模型检查
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto, 安部達也, 安部達也, 安部達也, 安部達也, 安部達也, 安部達也]
通讯作者： 安部達也
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
DOI： 10.1007/978-3-319-47677-3_8
发表时间： 2016-08
期刊： ArXiv
影响因子： --
作者： [Tatsuya Abe;Tomoharu Ugawa;T. Maeda;Kousuke Matsumoto]
通讯作者： Tatsuya Abe;Tomoharu Ugawa;T. Maeda;Kousuke Matsumoto
並行ブログラム論理における表明の表現に関する考察
关于并发程序逻辑中断言表示的思考
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： [Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto, 安部達也, 安部達也]
通讯作者： 安部達也
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
共 18 条
    Development of precision medicine to control the microenvironment in glioma stem cells.
    • 批准号：
      18K08998
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2018
    • 负责人：
      Abe Tatsuya
    • 依托单位：
      Saga University
    Molecular regulation of actin polymerization and arrangement in the lateral front between oral squamous cell carcinoma and non-cancerous epithelium
    • 批准号：
      18K09550
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2018
    • 负责人：
      Abe Tatsuya
    • 依托单位：
      Niigata University
    Development of novel therapy against glioma stem cells using super catalytic antibodies.
    • 批准号：
      15K10337
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2015
    • 负责人：
      Abe Tatsuya
    • 依托单位：
      Saga University
    Theoretical Model for the Collaborative Relation between International Organizations
    • 批准号：
      26380065
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2014
    • 负责人：
      Abe Tatsuya
    • 依托单位：
      Aoyama Gakuin University
    海外基金