Evolutionary development of a model checker compiler using verification technology and non-standard type systems
使用验证技术和非标准类型系统的模型检查器编译器的进化开发
基本信息
- 批准号:24650016
- 负责人:
- 金额:$ 2.41万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Challenging Exploratory Research
- 财政年份:2012
- 资助国家:日本
- 起止时间:2012-04-01 至 2015-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(15)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) (査読有)
并发对象及超越 (COB 2012),G. Agha 等人(编辑)(同行评审)
- DOI:
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:信夫 裕貴;上田 和紀;Kazunori Ueda et al.;Kazunori Ueda;Kazunori Ueda
- 通讯作者:Kazunori Ueda
LMNtalにおけるグラフ書換え操作のCoqによる形式化
使用 Coq 形式化 LMNtal 中的图重写操作
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:Alimujiang Yasen;上田和紀;信夫裕貴,田辺良則,上田和紀
- 通讯作者:信夫裕貴,田辺良則,上田和紀
Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)
迈向并发对象及其他计算的底层框架 (COB 2012)
- DOI:
- 发表时间:2014
- 期刊:
- 影响因子:0
- 作者:信夫 裕貴;上田 和紀;Kazunori Ueda et al.;Kazunori Ueda
- 通讯作者:Kazunori Ueda
LMNtal: モデル検査機能と統合ビジュアル環境を備えた階層グラフ書換え言語処理系
LMNtal:具有模型检查功能和集成视觉环境的层次图重写语言处理系统
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Concurrent Objects and Beyond, Gul Agha et al. (eds.), Lecture Notes in Computer Science 8665
并发对象及其他,Gul Agha 等人。
- DOI:
- 发表时间:2014
- 期刊:
- 影响因子:0
- 作者:信夫 裕貴;上田 和紀;Kazunori Ueda et al.
- 通讯作者:Kazunori Ueda et al.
{{
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 }}
UEDA Kazunori其他文献
UEDA Kazunori的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('UEDA Kazunori', 18)}}的其他基金
Research of peer-to-peer network application based on multi-overlay networks
基于多重覆盖网络的点对点网络应用研究
- 批准号:
16K00137 - 财政年份:2016
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Implementations of high-level modeling languages that integrate high-performance verifiers
集成高性能验证器的高级建模语言的实现
- 批准号:
23300011 - 财政年份:2011
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
High-level hybrid constraint modeling language and its reliable implementation
高级混合约束建模语言及其可靠实现
- 批准号:
20300013 - 财政年份:2008
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use
将可扩展且统一的编程语言模型 LMNtal 投入实际使用
- 批准号:
16300009 - 财政年份:2004
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming
基于并发逻辑编程的广域分布式计算范式
- 批准号:
11680370 - 财政年份:1999
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Applications of Strong Moding in Concurrent Logic Programming
强模态在并发逻辑编程中的应用
- 批准号:
07680371 - 财政年份:1995
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似海外基金
コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開
基于编译器中间表示的信息流分析多编程语言安全验证开发
- 批准号:
24K14906 - 财政年份:2024
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
図式量子計算モデル理論の連続量系への一般化及びその量子コンパイラへの応用
图解量子计算模型理论对连续量系统的推广及其在量子编译器中的应用
- 批准号:
24KJ0745 - 财政年份:2024
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Production of Memory-Bandwidth-Centric Computing
以内存带宽为中心的计算的生产
- 批准号:
23K18461 - 财政年份:2023
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Challenging Research (Exploratory)
高性能・省電力を両立する距離指定型アーキテクチャのコンパイラ理論体系化
实现高性能和省电的距离规格架构编译理论的系统化
- 批准号:
23KJ0500 - 财政年份:2023
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Achieving low-power and high-performance ultra-scalable processors with novel architecture
通过新颖的架构实现低功耗、高性能的超可扩展处理器
- 批准号:
23H03360 - 财政年份:2023
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
距離指定型命令セットアーキテクチャによる超高効率実行の実証
使用特定于距离的指令集架构演示超高效执行
- 批准号:
23K19975 - 财政年份:2023
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
HPC Application Analysis for Multi-Factor Cooperative Approximate Computing
多因素协同近似计算的HPC应用分析
- 批准号:
23K11056 - 财政年份:2023
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
動的安全性と効率性を兼ね備えた秘密計算プロトコルを生成するコンパイラの構成
配置生成结合动态安全性和效率的安全计算协议的编译器
- 批准号:
23KJ0928 - 财政年份:2023
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Program synthesis for Processing-in-Memory architectures
内存处理架构的程序综合
- 批准号:
22K17872 - 财政年份:2022
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
IoT社会を支える粗粒度再構成可能アーキテクチャの設計開発基盤の実現
支持物联网社会的粗粒度可重构架构设计开发平台的实现
- 批准号:
22K17866 - 财政年份:2022
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Early-Career Scientists