课题基金 / 基金详情

A unified theory of program verision with memory consistency models and its implementations

A unified theory of program verision with memory consistency models and its implementations
内存一致性模型程序版本统一理论及其实现
批准号：
16K21335
负责人：
ABE Tatsuya
金额：
$2.66万
依托单位：
Chiba Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K21335/
关键词：
プログラム検証メモリ一貫性モデルモデル検査ガベージコレクションプログラム論理Non-multi-copy atomicityIRIW定理証明数理論理学

项目摘要

项目成果

ABE Tatsuya的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
McSPIN: Model Checker with Memory Models
McSPIN：具有内存模型的模型检查器
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations
DOI： 10.2197/ipsjjip.25.244
发表时间： 2017
期刊： J. Inf. Process.
影响因子： --
作者： [Tatsuya Abe;T. Maeda]
通讯作者： Tatsuya Abe;T. Maeda
メモリ一貫性モデルを考慮したモデル検査のためのプログラムグラフ検査器の Haskell 実 装
Haskell 实现程序图检查器，用于考虑内存一致性模型的模型检查
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto, 安部達也]
通讯作者： 安部達也
Local Data Race Freedom with Non-Multi-Copy Atomicity
具有非多副本原子性的本地数据竞争自由
DOI： 10.1007/978-3-319-94111-0_12
发表时间： 2018
期刊： Proceedings of SPIN
影响因子： --
作者： [Hirofumi Inaba, et al, 鎌田裕美, 鎌田裕美, Hiromi Kamata, Hiromi Kamata, Tatsuya Abe]
通讯作者： Tatsuya Abe
共 14 条
    Proteomic analysis of cell competition in the lateral invasion front of oral squamous cell carcinoma
    • 批准号：
      15K20384
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.5万
    • 财政年份：
      2015
    • 负责人：
      ABE Tatsuya
    • 依托单位：
      Niigata University
    Cell competition in lateral invasion fronts of oral carcinoma in-situ
    • 批准号：
      25861768
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.58万
    • 财政年份：
      2013
    • 负责人：
      ABE Tatsuya
    • 依托单位：
      Niigata University
    Development of multi-layered stem cell sheet transplant materialfor periodontal regenerative therapy
    • 批准号：
      22592315
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2010
    • 负责人：
      ABE Tatsuya
    • 依托单位：
      Nagasaki University
    Nuclear, Biological and Chemical Security and International Law: Regulatory Mechanisms for Peaceful Use of Dual-Use Substance
    • 批准号：
      22730040
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.5万
    • 财政年份：
      2010
    • 负责人：
      ABE Tatsuya
    • 依托单位：
      Aoyama Gakuin University