刷新
{{item.name}}会员
Formalization and verification of shared-memory parallel programs in game semantics
游戏语义中共享内存并行程序的形式化与验证
基本信息
- 批准号：24500014
- 负责人：
- 金额：$ 3.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2016-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
共享变量上非阻塞同步的完全抽象并行并行语义
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：西村進;Susumu Nishimura
- 通讯作者：Susumu Nishimura
May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics
可能
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：Keisuke Watanabe;Susumu Nishimura
- 通讯作者：Susumu Nishimura
{{
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 }}
Nishimura Susumu其他文献
Tertiary structures of Escherichia coli tRNA as studied by NMR spectroscopy with 13C‐labeling method
通过 13C 标记方法的 NMR 波谱研究大肠杆菌 tRNA 的三级结构
- DOI：
10.1016/0014-5793(80)81001-5 - 发表时间：
1980 - 期刊：
- 影响因子：3.5
- 作者：
Yokoyama Shigeyuki;K. Usuki;Yamaizumi Ziro;Nishimura Susumu;Miyazawa Tatsuo - 通讯作者：
Miyazawa Tatsuo
Nishimura Susumu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Nishimura Susumu', 18)}}的其他基金
Generating Distributed Programs from High Level Specification Based on Combinatorial Topology
基于组合拓扑的高级规范生成分布式程序
- 批准号：
16K00016 - 财政年份：2016
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
A Contrastive Study on the Meaning and Interpretation of Noun Phrases in Japanese and Korean
日韩名词短语意义及解释对比研究
- 批准号：
20K00549 - 财政年份：2020
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Methods and Inequality. Secondary Analyses on the Meaning of Social Differences in Qualitative Research Interviews
方法和不平等。
- 批准号：
410456107 - 财政年份：2018
- 资助金额：
$ 3.41万 - 项目类别：
Research Grants
The research on the meaning of displacement in cinema: Joris Ivens, Chris Marker and Agnes Varda
电影中位移意义的研究：Joris Ivens、Chris Marker 和 Agnes Varda
- 批准号：
17H06824 - 财政年份：2017
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
The Basic Research on the Meaning of the Medieval Theory of Justice in the History of Western Philosophy and Its Contemporary Significance
中世纪正义理论在西方哲学史上的意义及其当代意义的基础研究
- 批准号：
16H03342 - 财政年份：2016
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
The research on the meaning and the possibility of drama activites for children in multicultural multilingual society
多元文化多语言社会中儿童戏剧活动的意义及可能性研究
- 批准号：
26381047 - 财政年份：2014
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
非局所ゲームおよびゲーム意味論による量子もつれ指向プログラミング言語の構築
使用非局域游戏和游戏语义构建面向量子纠缠的编程语言
- 批准号：
14J09418 - 财政年份：2014
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
FOR 1614: What If? On the Meaning, Espitemology and Scientific Relevance of Counterfactual Claims and Thought Experiments
FOR 1614：如果呢？
- 批准号：
185153653 - 财政年份：2012
- 资助金额：
$ 3.41万 - 项目类别：
Research Units
Research on the Meaning which Hematopoietic Stem Cell Transplant Patients Give to the Support Offering Consolation to Them and to Their Own Experience of Medical Treatment
造血干细胞移植患者对支持安慰的意义及自身就医经历的研究
- 批准号：
23593252 - 财政年份：2011
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Historical and philosophical research on the meaning of Jansenism in early modern France
近代早期法国詹森主义意义的历史和哲学研究
- 批准号：
22820028 - 财政年份：2010
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Study on the meaning and the problem of the concept of ecological constitution
生态构成概念的含义及问题研究
- 批准号：
20530030 - 财政年份：2008
- 资助金额：
$ 3.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)