研究者
J-GLOBAL ID:200901094597257395   更新日: 2024年08月13日

中田 明夫

ナカタ アキオ | Akio Nakata
所属機関・部署:
職名: 教授
研究分野 (4件): 通信工学 ,  ソフトウェア ,  計算機システム ,  情報学基礎論
研究キーワード (7件): モデル検査 ,  形式的手法 ,  設計最適化 ,  設計検証 ,  分散システム ,  組込みシステム ,  リアルタイムシステム
競争的資金等の研究課題 (22件):
  • 2010 - 2011 実時間ソフトウェアの最適パラメータ探索および組込みソフトウェア再利用への応用
  • 2009 - 2010 実時間ソフトウェアの最適パラメータ探索および組込みソフトウェア再利用への応用
  • 2009 - 2010 可動ノードを含む無線センサネットワークの電力最適な動的再構成および実装
  • 2008 - 2010 大規模ユビキタスネットワークのリアルイム・シミュレョン技術
  • 2008 - 2009 可動ノードを含む無線センサネットワークの電力最適な動的再構成および実装
全件表示
論文 (100件):
もっと見る
MISC (28件):
  • 中田明夫. 時間オートマトンによる実時間システムの形式的検証. 計測と制御. 2009. 48. 11. 803-809
  • 西 圭祐, 木谷友哉, 中田 明夫, 東野 輝夫. 再構成オーバーヘッドを考慮した動的再構成可能プロセッサヘの実時間タスク群分割実装アルゴリズムの提案. 情報処理学会研究報告システムLSI設計技術(SLDM). 2008. 2008. 32. 179-184
  • 西 圭祐, 木谷 友哉, 中田 明夫, 東野 輝夫. 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案. 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング. 2008. 107. 559. 179-184
  • 木谷 友哉, 中橋 亮, 中田 明夫, 安本 慶一, 東野 輝夫. 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討. 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング. 2007. 106. 604. 1-6
  • 村井 渉, 林 大輔, 中田 明夫, 木谷友哉, 安本 慶一, 東野 輝夫. チップ内ネットワークの性能要求検証および最適化のための一手法. 情報処理学会研究報告組込みシステム(EMB). 2007. 2007. 27. 25-30
もっと見る
特許 (2件):
  • パラメトリック実行時間解析装置及び解析方法
  • タイムバジェット最適化装置及び最適化方法
書籍 (1件):
  • アサーションベース設計
    丸善 2004
講演・口頭発表等 (4件):
  • 時間オートマトンのモデル検査
    (電子情報通信学会ソフトウェアサイエンス研究会 2009)
  • リアルタイムシステム ~時間を守るコンピュータ~
    (広島市立大学公開講座講演会 2007)
  • 実時間システムのパラメトリック解析とその応用
    (2004年度 システム設計検証技術研究会 第2回講演会 2004)
  • モデル検査技術の最新動向
    (奈良先端科学技術大学院大学 ゼミナールI 講演会 2003)
学位 (2件):
  • 博士(工学) (大阪大学)
  • Ph.D. (Dr. Eng.) (Osaka University)
経歴 (4件):
  • 2007/04 - 現在 広島市立大学 大学院情報科学研究科 教授
  • 2002/04/01 - 2007/03/31 大阪大学 大学院情報科学研究科 助教授
  • 2000/04/01 - 2002/03/31 大阪大学 大学院基礎工学研究科 助手
  • 1997/04/01 - 2000/03/31 広島市立大学 情報科学部 助手
委員歴 (16件):
  • 2005/11 - 現在 (社)電子情報通信学会 ソサイエティ論文誌編集委員会 常任査読委員
  • 2022/01 - 2022/11 (社)電子情報通信学会 和文論文誌D 学生論文特集号 編集委員会 委員長
  • 2018/06 - 2020/05 (社)電子情報通信学会 ソフトウェアサイエンス研究会 研究専門委員会 委員長
  • 2015/06 - 2019/05 (社)電子情報通信学会 和文論文誌D編集委員会 編集委員
  • 2016/06 - 2018/05 (社)電子情報通信学会 ソフトウェアサイエンス研究会 研究専門委員会 副委員長
全件表示
受賞 (3件):
  • 2016/07/14 - 電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞
  • 2002/10 - 情報処理学会モバイルコンピューティングとワイヤレス通信研究会 優秀論文賞
  • 2002/07 - DICOMO 2002 優秀論文賞
所属学会 (3件):
情報処理学会 ,  IEEE ,  電子情報通信学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る