刷新
{{item.name}}会员
Advanced methods of design and verification for dynamically reconfigurable embedded systems
动态可重构嵌入式系统的先进设计和验证方法
基本信息
- 批准号：24500034
- 负责人：
- 金额：$ 3.16万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
確率時間CEGARの開発とその実証実験
随机时间CEGAR的研制及其论证实验
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：Ryo Yanase;T. Sakai;M. Sakai;S. Yamane;伊藤公一，片山喜章，和田幸一;八木渉，片山喜章，和田幸一;清水 裕亮,櫻井 孝平,山根 智;清水隆也，森下篤，山根 智
- 通讯作者：清水隆也，森下篤，山根 智
A New Approach to Specify and Verify Embedded Systems consisting of CPU and DRP
指定和验证由 CPU 和 DRP 组成的嵌入式系统的新方法
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：R.Yanase;T.Sakai;M.Sakai;S.Yamane
- 通讯作者：S.Yamane
Model generation by the exhaustive search for embedded assembly programs and application to model checking
- DOI：10.1109/gcce.2014.7031136
- 发表时间：2014-10
- 期刊：
- 影响因子：0
- 作者：Ryosuke Konoshita;K. Sakurai;S. Yamane
- 通讯作者：Ryosuke Konoshita;K. Sakurai;S. Yamane
トレースを用いた大規模分散基盤 Hadoop 向けのプロファイル手法の提案
提出一种使用跟踪的大规模分布式基础设施 Hadoop 分析方法
- DOI：
- 发表时间：2012
- 期刊：
- 影响因子：0
- 作者：R.Yanase;T.Sakai;M.Sakai;S.Yamane;大木遥平，片山喜章，和田幸一;竹下淳，小橋潤平，山根 智;伊藤佳進，片山喜章，和田幸一;清水 裕亮,櫻井 孝平,山根 智
- 通讯作者：清水 裕亮,櫻井 孝平,山根 智
組込みアセンブリプログラム解析によるＳＭＴモデル検査
通过嵌入式装配程序分析进行 SMT 模型检查
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：長峰貴矩;住谷拓馬;松原豊;菅谷みどり;公下亮佑，山根 智，櫻井孝平;伊藤佳進，片山喜章;小橋潤平，山根 智，竹下 淳
- 通讯作者：小橋潤平，山根 智，竹下 淳
{{
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 }}
YAMANE Satoshi其他文献
Numerical Simulation in high efficiency spot welding
高效点焊的数值模拟
- DOI：
10.2207/qjjws.35.177s - 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
TAKAHASHI Ayumi;YAMANE Satoshi;YOSHIOKA Nobuyori;KOHANAWA Akihiko;YAMAMOTO Hideki - 通讯作者：
YAMAMOTO Hideki
Spectroscopic Measurement of the Arc and the Weld Pool in Robotic Welding
机器人焊接中电弧和焊池的光谱测量
- DOI：
10.2207/qjjws.38.59s - 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
KOMAYA Daiki;YAMANE Satoshi - 通讯作者：
YAMANE Satoshi
YAMANE Satoshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('YAMANE Satoshi', 18)}}的其他基金
Fundamental of 3D adaptive model in Robotic welding
机器人焊接中 3D 自适应模型的基础
- 批准号：
15K06456 - 财政年份：2015
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of Automatic Control System in Plasma-MIG Hybrid Welding
等离子-MIG复合焊自动控制系统的研制
- 批准号：
23560862 - 财政年份：2011
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
基于谓词抽象的大规模嵌入式面向对象设计自动验证方法
- 批准号：
19500025 - 财政年份：2007
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of design methodologies and support environments of high-reliability embedded systems based on hybrid models
基于混合模型的高可靠性嵌入式系统的设计方法和支持环境的开发
- 批准号：
14580368 - 财政年份：2002
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Seam Tracking and Detection of Groove by using Neural Network in Robotic Welding
机器人焊接中使用神经网络进行焊缝跟踪和坡口检测
- 批准号：
12650709 - 财政年份：2000
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Design Support of Autonomous Distributed Systems by Integratig Temporal Logic, Concurrency Theny, Autom
集成时态逻辑、并发 Theny、Autom 的自治分布式系统设计支持
- 批准号：
11680360 - 财政年份：1999
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展
使用类似自动机的技术对物理信息系统进行轻量级验证的实际开发
- 批准号：
18J22498 - 财政年份：2018
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for JSPS Fellows
A discrete execution model of dense-timed programs
密集时间程序的离散执行模型
- 批准号：
17K19969 - 财政年份：2017
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
基于谓词抽象的大规模嵌入式面向对象设计自动验证方法
- 批准号：
19500025 - 财政年份：2007
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Design of Power-Aware Supervisor for Embedded Control Systems Based on Discrete Event Systems Theory
基于离散事件系统理论的嵌入式控制系统功耗感知监控器设计
- 批准号：
17360198 - 财政年份：2005
- 资助金额：
$ 3.16万 - 项目类别：
Grant-in-Aid for Scientific Research (B)