刷新
{{item.name}}会员
A unified theory of program verision with memory consistency models and its implementations
内存一致性模型程序版本统一理论及其实现
基本信息
- 批准号：16K21335
- 负责人：
- 金额：$ 2.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2016
- 资助国家：日本
- 起止时间：2016-04-01 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（15）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations
- DOI：10.2197/ipsjjip.25.244
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Tatsuya Abe;T. Maeda
- 通讯作者：Tatsuya Abe;T. Maeda
メモリ一貫性モデルを考慮したモデル検査のためのプログラムグラフ検査器の Haskell 実 装
Haskell 实现程序图检查器，用于考虑内存一致性模型的模型检查
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：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
- 期刊：
- 影响因子：0
- 作者：Hirofumi Inaba;et al;鎌田裕美;鎌田裕美;Hiromi Kamata;Hiromi Kamata;Tatsuya Abe
- 通讯作者：Tatsuya Abe
Reordering control approaches to state explosion in model checking with memory consistency models
使用内存一致性模型进行模型检查中状态爆炸的重新排序控制方法
- DOI：10.1007/978-3-319-72308-2_11
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Tatsuya Abe;Tomoharu Ugawa;and Toshiyuki Maeda
- 通讯作者：and Toshiyuki Maeda
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
ABE Tatsuya其他文献
ABE Tatsuya的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('ABE Tatsuya', 18)}}的其他基金
Proteomic analysis of cell competition in the lateral invasion front of oral squamous cell carcinoma
口腔鳞状细胞癌侧侵前沿细胞竞争的蛋白质组学分析
- 批准号：
15K20384 - 财政年份：2015
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Cell competition in lateral invasion fronts of oral carcinoma in-situ
口腔原位癌侧向侵袭前沿的细胞竞争
- 批准号：
25861768 - 财政年份：2013
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Development of multi-layered stem cell sheet transplant materialfor periodontal regenerative therapy
用于牙周再生治疗的多层干细胞片移植材料的开发
- 批准号：
22592315 - 财政年份：2010
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Nuclear, Biological and Chemical Security and International Law: Regulatory Mechanisms for Peaceful Use of Dual-Use Substance
核、生物和化学安全与国际法：和平使用两用物质的监管机制
- 批准号：
22730040 - 财政年份：2010
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Strengthening obligation of national implementation under arms control law : restriction on state's discretion through international monitoring regime
加强军控法下的国家执行义务：通过国际监督制度限制国家自由裁量权
- 批准号：
20830038 - 财政年份：2008
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (Start-up)
Analysis of cross talk between human glioma cells and endothelial cells, and molecular targeted therapy
人胶质瘤细胞与内皮细胞之间的串扰分析及分子靶向治疗
- 批准号：
19591690 - 财政年份：2007
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Elucidation of 3D cell growth and its applications for periodontal regeneration therapy
阐明 3D 细胞生长及其在牙周再生治疗中的应用
- 批准号：
18592265 - 财政年份：2006
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The development of periodontal ligament substitutes of fibroblast sheets and their applications for periodontal regenerative therapy
成纤维细胞片牙周膜替代物的研制及其在牙周再生治疗中的应用
- 批准号：
15592192 - 财政年份：2003
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Phenotypic modulation of fibroblasts and its application for periodontal regenerative therapy
成纤维细胞的表型调控及其在牙周再生治疗中的应用
- 批准号：
13672190 - 财政年份：2001
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Regulation mechanism of production and secretion of mucin in intestinal goblet cells
肠杯状细胞粘蛋白产生和分泌的调控机制
- 批准号：
12670236 - 财政年份：2000
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)