权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

メモリ一貫性モデルを考慮したソフトウェアモデル検査のためのモデル検査器生成器 McSPIN

McSPIN，模型检查器生成器，用于考虑内存一致性模型的软件模型检查

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
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
影响因子：
0
作者：
Tatsuya Abe;Tomoharu Ugawa;T. Maeda;Kousuke Matsumoto
通讯作者：
Tatsuya Abe;Tomoharu Ugawa;T. Maeda;Kousuke Matsumoto

並行ブログラム論理における表明の表現に関する考察

关于并发程序逻辑中断言表示的思考

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Tatsuya Abe;Tomoharu Ugawa;Toshiyuki Maeda;and Kousuke Matsumoto;安部達也;安部達也
通讯作者：
安部達也

Towards a unified verification theory for various memory consistency models

走向各种内存一致性模型的统一验证理论

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Tatsuya Abe;Tomoharu Ugawa;Toshiyuki Maeda;and Kousuke Matsumoto;安部達也;安部達也;安部達也;安部達也;安部達也;安部達也;Tatsuya Abe and Toshiyuki Maeda
通讯作者：
Tatsuya Abe and Toshiyuki Maeda

Model checking stencil computations written in a partitioned global address space language

用分区全局地址空间语言编写的模型检查模板计算

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
Tatsuya Abe;Toshiyuki Maeda;and Mitsuhisa Sato
通讯作者：
and Mitsuhisa Sato

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Abe Tatsuya其他文献

内視鏡併用開頭腫瘍摘出術の有用性

开颅肿瘤切除术联合内镜检查的实用性

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Shojima Yuri;Ogata Atsushi;Furukawa Takashi;Ito Hiroshi;Yoshioka Fumitaka;Nakahara Yukiko;Masuoka Jun;Abe Tatsuya;棚橋邦明　竹内和人　永田雄一　伊藤英治　佐々木博勇　原田英幸　近藤辰磨　齋藤竜太
通讯作者：
棚橋邦明　竹内和人　永田雄一　伊藤英治　佐々木博勇　原田英幸　近藤辰磨　齋藤竜太

NCD重症化予防における新たな臨床疫学的アプローチ

预防非传染性疾病恶化的新临床流行病学方法

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Yoshioka Fumitaka;Shimokawa Shoko;Koguchi Motofumi;Ito Hiroshi;Ogata Atsushi;Inoue Kouhei;Takase Yukinori;Tanaka Tatsuya;Nakahara Yukiko;Masuoka Jun;Abe Tatsuya;福間真悟
通讯作者：
福間真悟

脳外科疾患のてんかん治療－新時代の治療戦略

神经外科疾病的癫痫治疗——新时代的治疗策略

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Ebashi Ryo;Ogata Atsushi;Nishihara Masashi;Inoue Kohei;Yoshioka Fumitaka;Takase Yukinori;Masuoka Jun;Yakushiji Yusuke;Irie Hiroyuki;Hara Hideo;Abe Tatsuya;三國信啓;三國信啓;三國信啓
通讯作者：
三國信啓

Curved Planar Reformation for the Evaluation of Hydromyelia in Patients With Scoliosis Associated With Spinal Dysraphism

弯曲平面改造评估脊柱侧弯合并脊柱闭合不全患者的脊髓积水

DOI：
10.1097/brs.0000000000002270
发表时间：
2018
期刊：
SPINE
影响因子：
3
作者：
Yoshioka Fumitaka;Shimokawa Shoko;Koguchi Motofumi;Ito Hiroshi;Ogata Atsushi;Inoue Kouhei;Takase Yukinori;Tanaka Tatsuya;Nakahara Yukiko;Masuoka Jun;Abe Tatsuya
通讯作者：
Abe Tatsuya

腎疾患データベース研究～臨床研究の転換点～

肾脏疾病数据库研究——临床研究的转折点——

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Yoshioka Fumitaka;Shimokawa Shoko;Koguchi Motofumi;Ito Hiroshi;Ogata Atsushi;Inoue Kouhei;Takase Yukinori;Tanaka Tatsuya;Nakahara Yukiko;Masuoka Jun;Abe Tatsuya;福間真悟;福間真悟;福間真悟;福間真悟
通讯作者：
福間真悟