课题基金 / 基金详情

Advanced methods of design and verification for dynamically reconfigurable embedded systems

Advanced methods of design and verification for dynamically reconfigurable embedded systems
动态可重构嵌入式系统的先进设计和验证方法
批准号：
24500034
负责人：
YAMANE Satoshi
金额：
$3.16万
依托单位：
Kanazawa University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500034/
关键词：
組込みシステムハイブリッドオートマトンモデル検査抽象化精錬仕様記述形式的検証動的再構成可能システムCEGAR動的再構成動的再構成可能組込みシステム動的ハイブリッドオートマトン検証器ハイブリッドシステム

项目摘要

项目成果

YAMANE Satoshi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
確率時間CEGARの開発とその実証実験
随机时间CEGAR的研制及其论证实验
DOI： --
发表时间： 2012
期刊： 情報処理学会論文誌　プログラミング（PRO）
影响因子： --
作者： [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
期刊： The 18th IEEE Pacific Rim International Symposium on Dependable Computing
影响因子： --
作者： [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
期刊： 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)
影响因子： --
作者： [Ryosuke Konoshita;K. Sakurai;S. Yamane]
通讯作者： Ryosuke Konoshita;K. Sakurai;S. Yamane
トレースを用いた大規模分散基盤 Hadoop 向けのプロファイル手法の提案
提出一种使用跟踪的大规模分布式基础设施 Hadoop 分析方法
DOI： --
发表时间： 2012
期刊： 第24回 コンピュータシステム・シンポジウム (ComSys 2012)
影响因子： --
作者： [R.Yanase, T.Sakai, M.Sakai, S.Yamane, 大木遥平，片山喜章，和田幸一, 竹下淳，小橋潤平，山根　智, 伊藤佳進，片山喜章，和田幸一, 清水 裕亮,櫻井 孝平,山根 智]
通讯作者： 清水 裕亮,櫻井 孝平,山根 智
共 20 条
    Fundamental of 3D adaptive model in Robotic welding
    • 批准号：
      15K06456
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2015
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Saitama University
    Development of Automatic Control System in Plasma-MIG Hybrid Welding
    • 批准号：
      23560862
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.33万
    • 财政年份：
      2011
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Saitama University
    Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
    • 批准号：
      19500025
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.91万
    • 财政年份：
      2007
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Kanazawa University
    Development of design methodologies and support environments of high-reliability embedded systems based on hybrid models
    • 批准号：
      14580368
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.41万
    • 财政年份：
      2002
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Kanazawa University
    海外基金