NAKATA Akio 中田明夫

… Alternative Names

中田明夫ナカタアキオ

Less

Researcher Number	60295839
Other IDs
External Links
Affiliation (Current)	2025: 広島市立大学, 情報科学研究科, 教授
Affiliation (based on the past Project Information) *help	2009 – 2011: Hiroshima City University, 情報科学研究科, 教授 2010: 広島市立大学, 大学院・情報科研究科, 教授 2007: Hiroshima Cotu University, Graduate School of Intrmation Sciences, Professor 2007: Hiroshima City University, 情報科学研究科, 教授 2006: 大阪大学, 大学院情報科学研究科, 助教授 … More 2002 – 2005: Grad. School Info. Sci. Assoc. Prof., 大学院・情報科学研究科, 助教授 2002: 大阪大学, 大学院・情報科学研究科, 教授 2000 – 2001: Osaka University, Graduate School of Engineering Science, Research Associate, 大学院・基礎工学研究科, 助手 2000: 大阪大学, 基礎工学研究科, 助手 1997 – 1999: 広島市立大学, 情報科学部, 助手 Less
Review Section/Research Field	Principal Investigator Software / Computer system/Network / 計算機科学 Except Principal Investigator 情報通信工学 / Computer system/Network / Science and Engineering / 計算機科学
Keywords	Principal Investigator 組込みソフトウェア / 実時間システム / パラメトリックモデル検査 / 実行時間解析 / 実時間制約 / ソフトウェア再利用 / 時間オートマトン / モデル検査 / 優先権付き時間ペトリネット / UML MARTE … More / 実時間制約検証 / 優先権付きストップウォッチペトリネット / タスクグラフ / 資源競合 / 実時間スケジューリング / タイムバジェット / リソース制約 / 性能検証 / マルチタスクソフトウェア / 組込みシステム / コスト最適化 / 実時間ソフトウェア再利用 / パラメトリック解析 / パイプラインプロセッサ / 正規表現 / CPUアーキテクチヤ / プログラムパラメータ / 時間試験等価性 / 時間弱トレース等価性 / 時間制約 / システムレベル記述言語 / 時間失敗等価性 / 時間トレース等価性 / 抽象化 / システムレベル記述 / 周期的システム / パラメータ / 限定子除去 / 時相論理 / 周期EFSM … More Except Principal Investigator 実時間システム / VHDL / 通信プロトコル / LOTOS / 信頼性 / Concurrent Systems / Hardware Synthesis / 並行システム / ハードウェア合成 / マルチランデブ / リアルタイムシステム / ユビキタスネットワーク / モデル検査 / HW / Reliability / Communication Protocols / Real-Time Systems / スケジューリング / SMIL / FDT / E-LOTOS / マルチスレッド / マルチスレッド機構 / マルチメディアシステム / コンパイラ / 無線通信 / QoS制御 / プロトコル合成 / Routers / Task Scheduling / Sensor Devices / Task Assignment / Network-on-Chip / Multi-Context / Ubiquitous Networks / 動的再構成可能プロセッサ / Network on Chip (NoC) / ルーター / タスクスケジューリング / センサデバイス / タスク割り当て / Network on Chip(NoC) / マルチコンテキスト / Linear Programming / Parametric Model Checking / SW Co-design / Network Systems / 実時間制約 / 性能解析 / 時間制約 / オンチップCPU / SWコ・デザイン / 線形計画法 / パラメトリックモデル検査 / SWコデザイン / ネットワークシステム / Multi-rendezvous / Network Management / Network Monitor / ネットワーク管理 / ネットワークモニター / Scheduling / FDTs / レジスタ転送レベル / ハードウェア高位合成 / 形式記述技法 / 形式記述言語 / QoS control / real-time systems / multi-rendezvous / multi-thread / distributed systems / LOTOS compiler / マルチメディア / 制約指向 / 分散システム / LOTOSコンパイラ / realtime system / multimedia / Qos control / compiler / 並行プロセス / 行動モデル / 歩行者モビリティ / 大規模シミュレーション / 災害シミュレーション / ネットワークシミュレーション / アドホックネットワーク / 無線ネットワーク / ネットワーク性能評価手法 / シミュレーション / 車車間通信 / モビリティ / 大規模分散システム / 情報共有 / ワイヤレス通信 / モバイルコンピューティング / 高信頼ネットワーク / サービスオーバーレイ / Gridコンピューティング / 負荷分散 / Peer-to-Peer通信 / 分散協調システム / プログラム分割 / プロファイリング / Java / 携帯端末 / ネットワークソフトウェア / プログラム変換 / 分散オブジェクト / 分散協調アプリケーション Less

Optimal Design Parameter Exploration of Real-Time Software and its Application to Embedded Software ReusePrincipal Investigator
- Principal Investigator
  
  NAKATA Akio
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Hiroshima City University
Real-time network simulation for large-scale ubiquitous network
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Computer system/Network
- Research Institution
  Osaka University
都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式
- Principal Investigator
  
  東野輝夫
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
実時間ソフトウェアの階層的パラメトリック解析Principal Investigator
- Principal Investigator
  
  中田明夫
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Hiroshima City University
  Osaka University
Design and DevelopmentofUbiquitous Network Systems using Dynamically Reconfigurable Processor
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Osaka University
有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究
- Principal Investigator
  
  東野輝夫
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
システムレベル記述の時間制約を考慮した抽象化およびモデル検査Principal Investigator
- Principal Investigator
  
  中田明夫
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Osaka University
有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
Research on HW/SW Co-design of Network Systems with Timing Constraints
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system/Network
- Research Institution
  Osaka University
パラメータを持つ実時間システム仕様のモデル検査に関する研究Principal Investigator
- Principal Investigator
  
  中田明夫
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Hardware Synthesis of High-speed Network Monitors
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University
Hardware Synthesis of Communication Protocols in Real-Time LOTOS Language
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University
"Implementation of LOTOS specifications on distributed environments"
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Development of compiler for real-time LOTOS programs with real-time multi-redezvous
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University

All 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation Book Patent

[Book] アサーションベース設計2004
- Author(s)
  東野輝夫, 岡野浩三, 中田明夫
- Total Pages
  532
- Publisher
  丸善
- Data Source
  KAKENHI-PROJECT-15300016
[Book] アサーションベース設計2004
- Author(s)
  東野輝夫, 岡野浩三, 中田明夫
- Total Pages
  532
- Publisher
  丸善
- Data Source
  KAKENHI-PROJECT-16016255
[Journal Article] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011
- Author(s)
  椛島和宏, 中田明夫
- Journal Title
  
  電子情報通信学会技術研究報告
  
  Volume: Vol.111, No.268 Pages: 37-42
- NAID
  110008900200
- Data Source
  KAKENHI-PROJECT-21700039
[Journal Article] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011
- Author(s)
  倉田和哉, 百々太市, 中田明夫
- Journal Title
  
  電子情報通信学会技術研究報告
  
  Volume: Vol.111, No.268 Pages: 43-48
- Data Source
  KAKENHI-PROJECT-21700039
[Journal Article] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証2010
- Author(s)
  百々太市, 中田明夫
- Journal Title
  
  組込みシステムシンポジウム2010論文集,情報処理学会シンポジウムシリーズ
  
  Volume: Vol.2010, No.10 Pages: 107-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700039
[Journal Article] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証、組込みシステムシンポジウム2010論文集2010
- Author(s)
  百々太市, 中田明夫
- Journal Title
  
  情報処理学会シンポジウムシリーズ
  
  Volume: Vol.2010, No.10 Pages: 107-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21700039
[Journal Article] リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証2010
- Author(s)
  百々太一, 山脇弘, 中田明夫
- Journal Title
  
  情報処理学会研究報告
  
  Volume: Vol.2010-EMB-16, No.35
- NAID
  110007995069
- Data Source
  KAKENHI-PROJECT-21700039
[Journal Article] 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案2009
- Author(s)
  中田圭佑, 前田久美子, 梅津高朗, 廣森聡仁, 山口弘純, 東野輝夫
- Journal Title
  
  情報処理学会論文誌 Vol.50 No.9
  
  Pages: 2327-2339
- NAID
  110007970515
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240006
[Journal Article] 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案2009
- Author(s)
  中田圭佑, 前田久美子, 梅津高朗, 廣森聡仁, 山口弘純, 東野輝夫
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.50, No.9 Pages: 2327-2339
- NAID
  110007970515
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240006
[Journal Article] 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討2007
- Author(s)
  木谷友哉, 中橋亮, 中田明夫, 安本慶一, 東野輝夫
- Journal Title
  
  組込技術とネットワークに関するワークショップETNET2007 (印刷中)
- NAID
  110006249928
- Data Source
  KAKENHI-PROJECT-18300020
[Journal Article] A CAD Tool for Modeling and Simulation of Bus Systems to Facilitate Refinement of Bus Communication Structure2006
- Author(s)
  Tanimoto, T., Kitaguchi, T., Nakata, A., Higashino, T.
- Journal Title
  
  IPSJ Journal (in Japanese) Vol.47, No.3
  
  Pages: 884-896
- NAID
  110004708846
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案2006
- Author(s)
  谷本匡亮, 北口智, 中田明夫, 東野輝夫
- Journal Title
  
  情報処理学会論文誌 Vol.47,No.3
  
  Pages: 884-896
- NAID
  110004708846
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios2006
- Author(s)
  Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino
- Journal Title
  
  Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006)
  
  Pages: 37-42
- Data Source
  KAKENHI-PROJECT-18300020
[Journal Article] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2006
- Author(s)
  Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
- Journal Title
  
  International Journal of Foundations of Computer Science 17・4
  
  Pages: 833-850
- Data Source
  KAKENHI-PROJECT-18300020
[Journal Article] A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios2006
- Author(s)
  Tanimoto, T., Yamaguchi, S., Nakata, A., Higashino,T.
- Journal Title
  
  Proceedings of the 43rd ACM/IEEE Design Automation Conference(DAC-2006) (採録決定)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking2006
- Author(s)
  藤田裕久, 深町司郎, 中田明夫, 東野輝夫
- Journal Title
  
  第59 回情報処理学会プログラミング研究会研究報告 PRO-2006-1-(5)
  
  Pages: 1-12
- NAID
  110004857008
- Data Source
  KAKENHI-PROJECT-18700028
[Journal Article] A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios2006
- Author(s)
  Tanimoto, T., Yamaguchi, S., Nakata, A., Higashino, T.
- Journal Title
  
  Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006) (to appear)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一手法2005
- Author(s)
  木谷友哉, 高本佳史, 安本慶一, 中田明夫, 東野輝夫
- Journal Title
  
  電子情報通信学会論文誌A Vol.J88-A, No.12
  
  Pages: 1487-1496
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005
- Author(s)
  T.Tanimoto, A.Nakata, H.Hashimoto, T.Higashino
- Journal Title
  
  IEICE Transactions on Fundamentals Vol.E88-A, No.11
  
  Pages: 3007-3021
- NAID
  110003500455
- Data Source
  KAKENHI-PROJECT-16700062
[Journal Article] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005
- Author(s)
  Tanimoto, T., Nakata, A., Hashimoto, H., Higashino,T.
- Journal Title
  
  IEICE Transactions on Fundamentals Vol.E88-A,No.11
  
  Pages: 3007-3021
- NAID
  110003500455
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法2005
- Author(s)
  木谷友哉, 高本佳史, 安本慶一, 中田明夫, 東野輝夫
- Journal Title
  
  電子情報通信学会論文誌(A) Vol.J88-A,No.12
  
  Pages: 1487-1496
- NAID
  110004020697
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Design Method of Real-Time Embedded Systems Considering Cost-Performance of Components2005
- Author(s)
  Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A., Higashino, T.
- Journal Title
  
  IEICE Transactions on Fundamentals (in Japanese) Vol.J88-A, No.12
  
  Pages: 1487-1496
- NAID
  110004020697
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005
- Author(s)
  Tanimoto, T., Nakata, A., Hashimoto, H., Higashino, T.
- Journal Title
  
  IEICE Transactions on Fundamentals Vol.E88-A, No.11
  
  Pages: 3007-3021
- NAID
  110003500455
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] Automatic Decomposition of Jave Program for Implementation on Mobile Terminals2005
- Author(s)
  Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino
- Journal Title
  
  19th IEEE International Conference on Advanced Information Networking and Applications (AINA2005) (To appear)
- Data Source
  KAKENHI-PROJECT-16016255
[Journal Article] パラメタ付き時間インターバルオートマトンに対するパラメトリック検証の高速化手法2005
- Author(s)
  橋本英明, 谷本匡亮, 中田明夫, 東野輝夫
- Journal Title
  
  京都大学数理解析研究所講究録「研究集会計算機科学基礎理論とその応用」(2004年度冬のLAシンポジウム予稿集) (印刷中)
- Data Source
  KAKENHI-PROJECT-16700062
[Journal Article] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005
- Author(s)
  Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino
- Journal Title
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E88-A, No.11
  
  Pages: 3007-3021
- NAID
  110003500455
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004
- Author(s)
  Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
- Journal Title
  
  2004 International Symposium on Automated Technology for Verification and Analysis (ATVA2004)
  
  Pages: 179-195
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems2004
- Author(s)
  Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A., Higashino,T.
- Journal Title
  
  Proceedings of the 25th IEEE International Real-Time Systems Symposium(RTSS2004)
  
  Pages: 437-446
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004
- Author(s)
  Tanimoto, T., Sasaki, S., Nakata, A., Higashino, T.
- Journal Title
  
  Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004)
  
  Pages: 179-195
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] マルチランデブに基づくグループ通信機能を提供するJavaミドルウェアの提案2004
- Author(s)
  梅津高朗, 安本慶一, 中田明夫, 東野輝夫
- Journal Title
  
  情報処理学会論文誌 45・11
  
  Pages: 2519-2527
- NAID
  10013765526
- Data Source
  KAKENHI-PROJECT-16016255
[Journal Article] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004
- Author(s)
  Takanori Mori, Akio Nakata, Teruo Higashino
- Journal Title
  
  STUDIA INFORMATICA UNIVERSALIS 3・2
  
  Pages: 203-230
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004
- Author(s)
  Mori, T., Nakata, A., Higashino, T.
- Journal Title
  
  Studia INFORMATICA UNIVERSALIS Vol.3, No.2
  
  Pages: 203-230
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004
- Author(s)
  Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
- Journal Title
  
  Proc. Of 2nd Int. Conf. on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science Vol.3299
  
  Pages: 179-195
- Data Source
  KAKENHI-PROJECT-16700062
[Journal Article] A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems2004
- Author(s)
  Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A., Higashino, T.
- Journal Title
  
  Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS2004)
  
  Pages: 437-446
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004
- Author(s)
  Mori, T., Nakata, A., Higashino, T.
- Journal Title
  
  Studia INFORMATICA UNIVERSALIS Vol.3,No.2
  
  Pages: 203-230
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems2004
- Author(s)
  T.Kitani, Y.Takamoto, K.Yasumoto, A.Nakata, T.Higashino
- Journal Title
  
  25th IEEE International Real-Time systems Symposium
  
  Pages: 437-446
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004
- Author(s)
  Tanimoto, T., Sasaki, S., Nakata, A., Higashino,T.
- Journal Title
  
  Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis(ATVA2004)
  
  Pages: 179-195
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004
- Author(s)
  Takanori Mori, Akio Nakata, Teruo Higashino
- Journal Title
  
  STUDIA INFORMATICA UNIVERSALIS 3・2
  
  Pages: 203-230
- Data Source
  KAKENHI-PROJECT-16016255
[Journal Article] Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking2003
- Author(s)
  Kitani, T., Takamoto, Y., Naka, I., Yasumoto, K., Nakata, A., Higashino,T.
- Journal Title
  
  Proceedings of the 13th International Conference on Field Programmable Logic and Applications(FPL2003)
  
  Pages: 1145-1148
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking2003
- Author(s)
  Kitani, T., Takamoto, Y., Naka, I., Yasumoto, K., Nakata, A., Higashino, T.
- Journal Title
  
  Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL2003)
  
  Pages: 1145-1148
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300016
[Journal Article] A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
- Author(s)
  A.Nakata, T.Tanimoto, S.Sasaki, T.Higashino
- Journal Title
  
  International Journal of Foundations of Computer Science 未定(採録決定)
- Data Source
  KAKENHI-PROJECT-16700062
[Patent] パラメトリック実行時間解析装置及び解析方法2012
- Inventor(s)
  中田明夫, 椛島和宏
- Industrial Property Rights Holder
  広島市立大学
- Industrial Property Number
  2012-033488
- Filing Date
  2012-02-20
- Data Source
  KAKENHI-PROJECT-21700039
[Patent] タイムバジェット最適化装置及び最適化方法2012
- Inventor(s)
  中田明夫, 倉田和哉, 百々太市
- Industrial Property Rights Holder
  広島市立大学
- Industrial Property Number
  2012-033489
- Filing Date
  2012-02-20
- Data Source
  KAKENHI-PROJECT-21700039
[Patent] パラメトリック実行時間解析装置及び解析方法2012
- Inventor(s)
  中田明夫,椛島和宏
- Industrial Property Rights Holder
  広島市立大学
- Industrial Property Number
  2012-033488
- Filing Date
  2012-02-20
- Data Source
  KAKENHI-PROJECT-21700039
[Patent] タイムバジェット最適化装置及び最適化方法2012
- Inventor(s)
  中田明夫,倉田和哉,百々太市
- Industrial Property Rights Holder
  広島市立大学
- Industrial Property Number
  2012-033489
- Filing Date
  2012-02-20
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011
- Author(s)
  倉田和哉, 百々太市, 中田明夫
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学(石川県能美市)
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011
- Author(s)
  倉田和哉, 百々太市, 中田明夫
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011
- Author(s)
  椛島和宏, 中田明夫
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011
- Author(s)
  椛島和宏, 中田明夫
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北陸先端科学技術大学院大学(石川県能美市)
- Year and Date
  2011-10-28
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証2010
- Author(s)
  百々太一, 山脇弘, 中田明夫
- Organizer
  情報処理学会組込みシステム研究会第16回研究発表会
- Place of Presentation
  八丈シーパークリゾート(東京都八丈島)
- Year and Date
  2010-03-27
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証2010
- Author(s)
  百々太市, 中田明夫
- Organizer
  情報処理学会組込みシステムシンポジウム2010
- Place of Presentation
  国立オリンピック記念青少年総合センター(東京都渋谷区)
- Year and Date
  2010-10-29
- Data Source
  KAKENHI-PROJECT-21700039
[Presentation] Modeling and Evaluation of Rescue Operations using Mobile Communication Devices2009
- Author(s)
  Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
- Organizer
  The 23nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009)(採録決定)
- Place of Presentation
  Lake Placid, New York, USA
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices2009
- Author(s)
  Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
- Organizer
  2009 ACM/ IEEE/ SCS 23rd Workshop on Principles of Advanced and Distributed Simulation(PADS 2009)
- Place of Presentation
  Lake Placid. USA
- Year and Date
  2009-06-24
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] Modeling and Evaluation of Rescue Operations using Mobile Communication Devices2009
- Author(s)
  Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
- Organizer
  The 23nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009)
- Place of Presentation
  Lake Placid, New York, USA
- Year and Date
  2009-06-24
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] 災害救助・避難訓練を目的とした無線ネットワークシステムの開発支援環境の提案2008
- Author(s)
  中田圭佑, 梅津高朗, 山口弘純, 東野輝夫
- Organizer
  マルチメディア, 分散, 協調とモバイル(DICOMO2008)シンポジウム
- Place of Presentation
  北海道定山渓ビューホテル
- Year and Date
  2008-07-10
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] 実時間インタラクティブシミュレーションによる無線通信アプリケーションの性能試験2008
- Author(s)
  前田久美子, 中田圭佑, 梅津高朗, 山口弘純, 安本慶一, 東野輝夫
- Organizer
  マルチメディア, 分散, 協調とモバイル(DICOMO2008)シンポジウム
- Place of Presentation
  北海道定山渓ビューホテル
- Year and Date
  2008-07-10
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] Hybrid Testbed Enabling Run-time Operations for Wireless Applications2008
- Author(s)
  Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
- Organizer
  The 22nd Workshop on Principles of Advanced and Distributed Simulation(PADS 2008)
- Place of Presentation
  Roma. Italy
- Year and Date
  2008-06-04
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法2008
- Author(s)
  河井敏弘, 中田明夫
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  長崎大学文京キャンパス
- Year and Date
  2008-03-03
- Data Source
  KAKENHI-PROJECT-18700028
[Presentation] Hybrid Testbed Enabling Run-tiie Operations for Wireless Applications2008
- Author(s)
  Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
- Organizer
  The 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008)
- Place of Presentation
  Rome, Italy
- Year and Date
  2008-06-05
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] 市街地における歩行者移動モデルによる無線ネットワークシミュレーションへの影響2008
- Author(s)
  前田久美子, 中田圭佑, 梅津高朗, 山口弘純, 東野輝夫
- Organizer
  平成20年度情報処理学会関西支部支部大会
- Place of Presentation
  京都府京都リサーチパーク
- Year and Date
  2008-10-24
- Data Source
  KAKENHI-PROJECT-20240006
[Presentation] 災害救助・避難訓練を目的とした無線ネットワークシステムの開発支援環境の提案2008
- Author(s)
  中田圭佑前田久美子梅津高朗山口弘純東野輝夫
- Organizer
  マルチメディア、分散、協調とモバイル(DICOMO2008)シンポジウム
- Place of Presentation
  北海道
- Year and Date
  2008-07-10
- Data Source
  KAKENHI-PROJECT-20240006

1. HIGASHINO Teruo (80173144)

# of Collaborated Projects: 10 results

# of Collaborated Products: 40 results
2. YASUMOTO Keiichi (40273396)

# of Collaborated Projects: 8 results

# of Collaborated Products: 12 results
3. UMEDU Takaaki (10346174)

# of Collaborated Projects: 7 results

# of Collaborated Products: 13 results
4. YAMAGUCHI Hirozumi (80314409)

# of Collaborated Projects: 7 results

# of Collaborated Products: 13 results
5. OKANA Kozo (70252632)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. FUNABIKI Nobuo (70263225)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. KITANI Tomoya (40418786)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
8. ABE Kota (40291603)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. KITAMICHI Junji (20234271)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. HIROMORI Akihito (90506544)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
11. NAKAMURA Yoshitaka (40452528)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. UTIYAMA Akira (70555234)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. TAJIMA Shigeto (90273614)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SUN Weihua (40517520)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. TANIGUCHI Kenichi (00029513)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. KITAJIMA Akira (00304030)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 大蒔和仁

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

NAKATA Akio 中田 明夫

中田 明夫 ナカタ アキオ

Research Projects

Research Products

Co-Researchers

Optimal Design Parameter Exploration of Real-Time Software and its Application to Embedded Software ReusePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

実時間ソフトウェアの階層的パラメトリック解析Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

システムレベル記述の時間制約を考慮した抽象化およびモデル検査Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

パラメータを持つ実時間システム仕様のモデル検査に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] アサーションベース設計2004

NAKATA Akio 中田明夫

中田明夫ナカタアキオ