• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

中田 明夫  NAKATA Akio

ORCIDORCID連携する *注記
研究者番号 60295839
その他のID
外部サイト
所属 (現在) 2025年度: 広島市立大学, 情報科学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2009年度 – 2011年度: 広島市立大学, 情報科学研究科, 教授
2010年度: 広島市立大学, 大学院・情報科研究科, 教授
2007年度: 広島市立大学, 大学院・情報科学研究科, 教授
2007年度: 広島市立大学, 情報科学研究科, 教授
2006年度: 大阪大学, 大学院情報科学研究科, 助教授 … もっと見る
2002年度 – 2005年度: 大阪大学, 大学院・情報科学研究科, 助教授
2002年度: 大阪大学, 大学院・情報科学研究科, 教授
2000年度 – 2001年度: 大阪大学, 大学院・基礎工学研究科, 助手
2000年度: 大阪大学, 基礎工学研究科, 助手
1997年度 – 1999年度: 広島市立大学, 情報科学部, 助手 隠す
審査区分/研究分野
研究代表者
ソフトウエア / 計算機システム・ネットワーク / 計算機科学
研究代表者以外
情報通信工学 / 計算機システム・ネットワーク / 理工系 / 計算機科学
キーワード
研究代表者
組込みソフトウェア / 実時間システム / パラメトリックモデル検査 / 実行時間解析 / 実時間制約 / ソフトウェア再利用 / 時間オートマトン / モデル検査 / 優先権付き時間ペトリネット / UML MARTE … もっと見る / 実時間制約検証 / 優先権付きストップウォッチペトリネット / タスクグラフ / 資源競合 / 実時間スケジューリング / タイムバジェット / リソース制約 / 性能検証 / マルチタスクソフトウェア / 組込みシステム / コスト最適化 / 実時間ソフトウェア再利用 / パラメトリック解析 / パイプラインプロセッサ / 正規表現 / CPUアーキテクチヤ / プログラムパラメータ / 時間試験等価性 / 時間弱トレース等価性 / 時間制約 / システムレベル記述言語 / 時間失敗等価性 / 時間トレース等価性 / 抽象化 / システムレベル記述 / 周期的システム / パラメータ / 限定子除去 / 時相論理 / 周期EFSM … もっと見る
研究代表者以外
実時間システム / 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 / 携帯端末 / ネットワークソフトウェア / プログラム変換 / 分散オブジェクト / 分散協調アプリケーション 隠す
  • 研究課題

    (14件)
  • 研究成果

    (61件)
  • 共同研究者

    (17人)
  •  実時間ソフトウェアの最適パラメータ探索および組込みソフトウェア再利用への応用研究代表者

    • 研究代表者
      中田 明夫
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      広島市立大学
  •  大規模ユビキタスネットワークのリアルイム・シミュレョン技術

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(A)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      大阪大学
  •  都市空間上での大規模モバイルワイヤレスネットワークにおける効率的な情報共有方式

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2006
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      大阪大学
  •  実時間ソフトウェアの階層的パラメトリック解析研究代表者

    • 研究代表者
      中田 明夫
    • 研究期間 (年度)
      2006 – 2007
    • 研究種目
      若手研究(B)
    • 研究分野
      ソフトウエア
    • 研究機関
      広島市立大学
      大阪大学
  •  動的再構成可能プロセッサを用いたユビキタスネットワークシステムの開発

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2006 – 2007
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      大阪大学
  •  有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      大阪大学
  •  システムレベル記述の時間制約を考慮した抽象化およびモデル検査研究代表者

    • 研究代表者
      中田 明夫
    • 研究期間 (年度)
      2004 – 2005
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      大阪大学
  •  有線・無線混在型ネットワーク上での分散協調アプリケーションの設計開発に関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      大阪大学
  •  実時間制約を含ネットワークシステムのHW/SWコデザインに関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      大阪大学
  •  パラメータを持つ実時間システム仕様のモデル検査に関する研究研究代表者

    • 研究代表者
      中田 明夫
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      若手研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  ネットワークモニターのハードウェア合成に関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      大阪大学
  •  時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウェア化に関する研究

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      大阪大学
  •  分散システム記述言語のコンパイラ

    • 研究代表者
      谷口 健一
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      大阪大学
  •  実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築

    • 研究代表者
      東野 輝夫
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報通信工学
    • 研究機関
      大阪大学

すべて 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書 産業財産権

  • [図書] アサーションベース設計2004

    • 著者名/発表者名
      東野輝夫, 岡野浩三, 中田明夫
    • 総ページ数
      532
    • 出版者
      丸善
    • データソース
      KAKENHI-PROJECT-15300016
  • [図書] アサーションベース設計2004

    • 著者名/発表者名
      東野輝夫, 岡野浩三, 中田明夫
    • 総ページ数
      532
    • 出版者
      丸善
    • データソース
      KAKENHI-PROJECT-16016255
  • [雑誌論文] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011

    • 著者名/発表者名
      椛島和宏, 中田明夫
    • 雑誌名

      電子情報通信学会技術研究報告

      巻: Vol.111, No.268 ページ: 37-42

    • NAID

      110008900200

    • データソース
      KAKENHI-PROJECT-21700039
  • [雑誌論文] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011

    • 著者名/発表者名
      倉田和哉, 百々太市, 中田明夫
    • 雑誌名

      電子情報通信学会技術研究報告

      巻: Vol.111, No.268 ページ: 43-48

    • データソース
      KAKENHI-PROJECT-21700039
  • [雑誌論文] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証2010

    • 著者名/発表者名
      百々太市, 中田明夫
    • 雑誌名

      組込みシステムシンポジウム2010論文集,情報処理学会シンポジウムシリーズ

      巻: Vol.2010, No.10 ページ: 107-112

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700039
  • [雑誌論文] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証、組込みシステムシンポジウム2010論文集2010

    • 著者名/発表者名
      百々太市, 中田明夫
    • 雑誌名

      情報処理学会シンポジウムシリーズ

      巻: Vol.2010, No.10 ページ: 107-112

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21700039
  • [雑誌論文] リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証2010

    • 著者名/発表者名
      百々太一, 山脇弘, 中田明夫
    • 雑誌名

      情報処理学会研究報告

      巻: Vol.2010-EMB-16, No.35

    • NAID

      110007995069

    • データソース
      KAKENHI-PROJECT-21700039
  • [雑誌論文] 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案2009

    • 著者名/発表者名
      中田圭佑, 前田久美子, 梅津高朗, 廣森聡仁, 山口弘純, 東野輝夫
    • 雑誌名

      情報処理学会論文誌 Vol.50 No.9

      ページ: 2327-2339

    • NAID

      110007970515

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240006
  • [雑誌論文] 災害現場の被災者や救援者の行動記述とそれを用いたネットワークシミュレーション環境の提案2009

    • 著者名/発表者名
      中田圭佑, 前田久美子, 梅津高朗, 廣森聡仁, 山口弘純, 東野輝夫
    • 雑誌名

      情報処理学会論文誌

      巻: Vol.50, No.9 ページ: 2327-2339

    • NAID

      110007970515

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20240006
  • [雑誌論文] 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討2007

    • 著者名/発表者名
      木谷友哉, 中橋亮, 中田明夫, 安本慶一, 東野輝夫
    • 雑誌名

      組込技術とネットワークに関するワークショップETNET2007 (印刷中)

    • NAID

      110006249928

    • データソース
      KAKENHI-PROJECT-18300020
  • [雑誌論文] A CAD Tool for Modeling and Simulation of Bus Systems to Facilitate Refinement of Bus Communication Structure2006

    • 著者名/発表者名
      Tanimoto, T., Kitaguchi, T., Nakata, A., Higashino, T.
    • 雑誌名

      IPSJ Journal (in Japanese) Vol.47, No.3

      ページ: 884-896

    • NAID

      110004708846

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案2006

    • 著者名/発表者名
      谷本 匡亮, 北口 智, 中田 明夫, 東野 輝夫
    • 雑誌名

      情報処理学会論文誌 Vol.47,No.3

      ページ: 884-896

    • NAID

      110004708846

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios2006

    • 著者名/発表者名
      Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Teruo Higashino
    • 雑誌名

      Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006)

      ページ: 37-42

    • データソース
      KAKENHI-PROJECT-18300020
  • [雑誌論文] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2006

    • 著者名/発表者名
      Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino
    • 雑誌名

      International Journal of Foundations of Computer Science 17・4

      ページ: 833-850

    • データソース
      KAKENHI-PROJECT-18300020
  • [雑誌論文] A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios2006

    • 著者名/発表者名
      Tanimoto, T., Yamaguchi, S., Nakata, A., Higashino,T.
    • 雑誌名

      Proceedings of the 43rd ACM/IEEE Design Automation Conference(DAC-2006) (採録決定)

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking2006

    • 著者名/発表者名
      藤田裕久, 深町司郎, 中田明夫, 東野輝夫
    • 雑誌名

      第59 回情報処理学会プログラミング研究会研究報告 PRO-2006-1-(5)

      ページ: 1-12

    • NAID

      110004857008

    • データソース
      KAKENHI-PROJECT-18700028
  • [雑誌論文] A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios2006

    • 著者名/発表者名
      Tanimoto, T., Yamaguchi, S., Nakata, A., Higashino, T.
    • 雑誌名

      Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006) (to appear)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] リアルタイム組込みシステムを対象とした高信頼性ハードウェア設計のための一手法2005

    • 著者名/発表者名
      木谷友哉, 高本佳史, 安本慶一, 中田明夫, 東野輝夫
    • 雑誌名

      電子情報通信学会論文誌A Vol.J88-A, No.12

      ページ: 1487-1496

    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005

    • 著者名/発表者名
      T.Tanimoto, A.Nakata, H.Hashimoto, T.Higashino
    • 雑誌名

      IEICE Transactions on Fundamentals Vol.E88-A, No.11

      ページ: 3007-3021

    • NAID

      110003500455

    • データソース
      KAKENHI-PROJECT-16700062
  • [雑誌論文] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005

    • 著者名/発表者名
      Tanimoto, T., Nakata, A., Hashimoto, H., Higashino,T.
    • 雑誌名

      IEICE Transactions on Fundamentals Vol.E88-A,No.11

      ページ: 3007-3021

    • NAID

      110003500455

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法2005

    • 著者名/発表者名
      木谷 友哉, 高本 佳史, 安本 慶一, 中田 明夫, 東野 輝夫
    • 雑誌名

      電子情報通信学会論文誌(A) Vol.J88-A,No.12

      ページ: 1487-1496

    • NAID

      110004020697

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Design Method of Real-Time Embedded Systems Considering Cost-Performance of Components2005

    • 著者名/発表者名
      Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A., Higashino, T.
    • 雑誌名

      IEICE Transactions on Fundamentals (in Japanese) Vol.J88-A, No.12

      ページ: 1487-1496

    • NAID

      110004020697

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005

    • 著者名/発表者名
      Tanimoto, T., Nakata, A., Hashimoto, H., Higashino, T.
    • 雑誌名

      IEICE Transactions on Fundamentals Vol.E88-A, No.11

      ページ: 3007-3021

    • NAID

      110003500455

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] Automatic Decomposition of Jave Program for Implementation on Mobile Terminals2005

    • 著者名/発表者名
      Takaaki Umedu, Shigeharu Urata, Akio Nakata, Teruo Higashino
    • 雑誌名

      19th IEEE International Conference on Advanced Information Networking and Applications (AINA2005) (To appear)

    • データソース
      KAKENHI-PROJECT-16016255
  • [雑誌論文] パラメタ付き時間インターバルオートマトンに対するパラメトリック検証の高速化手法2005

    • 著者名/発表者名
      橋本英明, 谷本匡亮, 中田明夫, 東野輝夫
    • 雑誌名

      京都大学数理解析研究所講究録「研究集会 計算機科学基礎理論とその応用」(2004年度冬のLAシンポジウム予稿集) (印刷中)

    • データソース
      KAKENHI-PROJECT-16700062
  • [雑誌論文] Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata2005

    • 著者名/発表者名
      Tadaaki Tanimoto, Akio Nakata, Hideaki Hashimoto, Teruo Higashino
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E88-A, No.11

      ページ: 3007-3021

    • NAID

      110003500455

    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004

    • 著者名/発表者名
      Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
    • 雑誌名

      2004 International Symposium on Automated Technology for Verification and Analysis (ATVA2004)

      ページ: 179-195

    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems2004

    • 著者名/発表者名
      Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A., Higashino,T.
    • 雑誌名

      Proceedings of the 25th IEEE International Real-Time Systems Symposium(RTSS2004)

      ページ: 437-446

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004

    • 著者名/発表者名
      Tanimoto, T., Sasaki, S., Nakata, A., Higashino, T.
    • 雑誌名

      Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004)

      ページ: 179-195

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] マルチランデブに基づくグループ通信機能を提供するJavaミドルウェアの提案2004

    • 著者名/発表者名
      梅津高朗, 安本慶一, 中田明夫, 東野輝夫
    • 雑誌名

      情報処理学会論文誌 45・11

      ページ: 2519-2527

    • NAID

      10013765526

    • データソース
      KAKENHI-PROJECT-16016255
  • [雑誌論文] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004

    • 著者名/発表者名
      Takanori Mori, Akio Nakata, Teruo Higashino
    • 雑誌名

      STUDIA INFORMATICA UNIVERSALIS 3・2

      ページ: 203-230

    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004

    • 著者名/発表者名
      Mori, T., Nakata, A., Higashino, T.
    • 雑誌名

      Studia INFORMATICA UNIVERSALIS Vol.3, No.2

      ページ: 203-230

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004

    • 著者名/発表者名
      Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino
    • 雑誌名

      Proc. Of 2nd Int. Conf. on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science Vol.3299

      ページ: 179-195

    • データソース
      KAKENHI-PROJECT-16700062
  • [雑誌論文] A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems2004

    • 著者名/発表者名
      Kitani, T., Takamoto, Y., Yasumoto, K., Nakata, A., Higashino, T.
    • 雑誌名

      Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS2004)

      ページ: 437-446

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004

    • 著者名/発表者名
      Mori, T., Nakata, A., Higashino, T.
    • 雑誌名

      Studia INFORMATICA UNIVERSALIS Vol.3,No.2

      ページ: 203-230

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems2004

    • 著者名/発表者名
      T.Kitani, Y.Takamoto, K.Yasumoto, A.Nakata, T.Higashino
    • 雑誌名

      25th IEEE International Real-Time systems Symposium

      ページ: 437-446

    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata2004

    • 著者名/発表者名
      Tanimoto, T., Sasaki, S., Nakata, A., Higashino,T.
    • 雑誌名

      Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis(ATVA2004)

      ページ: 179-195

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing2004

    • 著者名/発表者名
      Takanori Mori, Akio Nakata, Teruo Higashino
    • 雑誌名

      STUDIA INFORMATICA UNIVERSALIS 3・2

      ページ: 203-230

    • データソース
      KAKENHI-PROJECT-16016255
  • [雑誌論文] Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking2003

    • 著者名/発表者名
      Kitani, T., Takamoto, Y., Naka, I., Yasumoto, K., Nakata, A., Higashino,T.
    • 雑誌名

      Proceedings of the 13th International Conference on Field Programmable Logic and Applications(FPL2003)

      ページ: 1145-1148

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] Design and Implementation of Priority Queuing Mechanism on FPGA using Concurrent Periodic EFSMs and Parametric Model Checking2003

    • 著者名/発表者名
      Kitani, T., Takamoto, Y., Naka, I., Yasumoto, K., Nakata, A., Higashino, T.
    • 雑誌名

      Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL2003)

      ページ: 1145-1148

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300016
  • [雑誌論文] A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

    • 著者名/発表者名
      A.Nakata, T.Tanimoto, S.Sasaki, T.Higashino
    • 雑誌名

      International Journal of Foundations of Computer Science 未定(採録決定)

    • データソース
      KAKENHI-PROJECT-16700062
  • [産業財産権] パラメトリック実行時間解析装置及び解析方法2012

    • 発明者名
      中田明夫, 椛島和宏
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033488
    • 出願年月日
      2012-02-20
    • データソース
      KAKENHI-PROJECT-21700039
  • [産業財産権] タイムバジェット最適化装置及び最適化方法2012

    • 発明者名
      中田明夫, 倉田和哉, 百々太市
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033489
    • 出願年月日
      2012-02-20
    • データソース
      KAKENHI-PROJECT-21700039
  • [産業財産権] パラメトリック実行時間解析装置及び解析方法2012

    • 発明者名
      中田明夫,椛島和宏
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033488
    • 出願年月日
      2012-02-20
    • データソース
      KAKENHI-PROJECT-21700039
  • [産業財産権] タイムバジェット最適化装置及び最適化方法2012

    • 発明者名
      中田明夫,倉田和哉,百々太市
    • 権利者名
      広島市立大学
    • 産業財産権番号
      2012-033489
    • 出願年月日
      2012-02-20
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011

    • 著者名/発表者名
      倉田和哉, 百々太市, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学(石川県能美市)
    • 年月日
      2011-10-28
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] リソース制約を含む複数タスク動作仕様におけるタイムバジェット最適化の一手法2011

    • 著者名/発表者名
      倉田和哉, 百々太市, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学
    • 年月日
      2011-10-28
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011

    • 著者名/発表者名
      椛島和宏, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学
    • 年月日
      2011-10-28
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] 再帰を含むプログラムに対するパラメトリック実行時間解析手法とツールの試作2011

    • 著者名/発表者名
      椛島和宏, 中田明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北陸先端科学技術大学院大学(石川県能美市)
    • 年月日
      2011-10-28
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証2010

    • 著者名/発表者名
      百々太一, 山脇弘, 中田明夫
    • 学会等名
      情報処理学会組込みシステム研究会第16回研究発表会
    • 発表場所
      八丈シーパークリゾート(東京都八丈島)
    • 年月日
      2010-03-27
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] プリエンプティブスケジューリングによりリソースを共有する複数タスク動作仕様の性能検証2010

    • 著者名/発表者名
      百々太市, 中田明夫
    • 学会等名
      情報処理学会組込みシステムシンポジウム2010
    • 発表場所
      国立オリンピック記念青少年総合センター(東京都渋谷区)
    • 年月日
      2010-10-29
    • データソース
      KAKENHI-PROJECT-21700039
  • [学会発表] Modeling and Evaluation of Rescue Operations using Mobile Communication Devices2009

    • 著者名/発表者名
      Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
    • 学会等名
      The 23nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009)(採録決定)
    • 発表場所
      Lake Placid, New York, USA
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices2009

    • 著者名/発表者名
      Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
    • 学会等名
      2009 ACM/ IEEE/ SCS 23rd Workshop on Principles of Advanced and Distributed Simulation(PADS 2009)
    • 発表場所
      Lake Placid. USA
    • 年月日
      2009-06-24
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] Modeling and Evaluation of Rescue Operations using Mobile Communication Devices2009

    • 著者名/発表者名
      Keisuke Nakata, Kumiko Maeda, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino
    • 学会等名
      The 23nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2009)
    • 発表場所
      Lake Placid, New York, USA
    • 年月日
      2009-06-24
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] 災害救助・避難訓練を目的とした無線ネットワークシステムの開発支援環境の提案2008

    • 著者名/発表者名
      中田 圭佑, 梅津 高朗, 山口 弘純, 東野 輝夫
    • 学会等名
      マルチメディア, 分散, 協調とモバイル(DICOMO2008)シンポジウム
    • 発表場所
      北海道 定山渓ビューホテル
    • 年月日
      2008-07-10
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] 実時間インタラクティブシミュレーションによる無線通信アプリケーションの性能試験2008

    • 著者名/発表者名
      前田 久美子, 中田 圭佑, 梅津 高朗, 山口 弘純, 安本 慶一, 東野 輝夫
    • 学会等名
      マルチメディア, 分散, 協調とモバイル(DICOMO2008)シンポジウム
    • 発表場所
      北海道 定山渓ビューホテル
    • 年月日
      2008-07-10
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] Hybrid Testbed Enabling Run-time Operations for Wireless Applications2008

    • 著者名/発表者名
      Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Teruo Higashino
    • 学会等名
      The 22nd Workshop on Principles of Advanced and Distributed Simulation(PADS 2008)
    • 発表場所
      Roma. Italy
    • 年月日
      2008-06-04
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法2008

    • 著者名/発表者名
      河井 敏弘, 中田 明夫
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      長崎大学文京キャンパス
    • 年月日
      2008-03-03
    • データソース
      KAKENHI-PROJECT-18700028
  • [学会発表] Hybrid Testbed Enabling Run-tiie Operations for Wireless Applications2008

    • 著者名/発表者名
      Kumiko Maeda, Keisuke Nakata, Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino
    • 学会等名
      The 22nd ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008)
    • 発表場所
      Rome, Italy
    • 年月日
      2008-06-05
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] 市街地における歩行者移動モデルによる無線ネットワークシミュレーションへの影響2008

    • 著者名/発表者名
      前田 久美子, 中田 圭佑, 梅津 高朗, 山口 弘純, 東野 輝夫
    • 学会等名
      平成20年度 情報処理学会関西支部 支部大会
    • 発表場所
      京都府 京都リサーチパーク
    • 年月日
      2008-10-24
    • データソース
      KAKENHI-PROJECT-20240006
  • [学会発表] 災害救助・避難訓練を目的とした無線ネットワークシステムの開発支援環境の提案2008

    • 著者名/発表者名
      中田圭佑前田久美子梅津高朗山口弘純東野輝夫
    • 学会等名
      マルチメディア、分散、協調とモバイル(DICOMO2008)シンポジウム
    • 発表場所
      北海道
    • 年月日
      2008-07-10
    • データソース
      KAKENHI-PROJECT-20240006
  • 1.  東野 輝夫 (80173144)
    共同の研究課題数: 10件
    共同の研究成果数: 40件
  • 2.  安本 慶一 (40273396)
    共同の研究課題数: 8件
    共同の研究成果数: 12件
  • 3.  梅津 高朗 (10346174)
    共同の研究課題数: 7件
    共同の研究成果数: 13件
  • 4.  山口 弘純 (80314409)
    共同の研究課題数: 7件
    共同の研究成果数: 13件
  • 5.  岡野 浩三 (70252632)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 6.  船曳 信生 (70263225)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 7.  木谷 友哉 (40418786)
    共同の研究課題数: 2件
    共同の研究成果数: 1件
  • 8.  安倍 広多 (40291603)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 9.  北道 淳司 (20234271)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 10.  廣森 聡仁 (90506544)
    共同の研究課題数: 1件
    共同の研究成果数: 5件
  • 11.  中村 嘉隆 (40452528)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  内山 彰 (70555234)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  田島 滋人 (90273614)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  孫 為華 (40517520)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  谷口 健一 (00029513)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  北嶋 暁 (00304030)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  大蒔 和仁
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi