中田 明夫 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
東野 輝夫
大阪大学大学院情報科学研究科
-
中田 明夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
東野 輝夫
大阪大学大学院情報学研究科
-
中田 明夫
広島市立大学大学院情報科学研究科
-
谷本 匡亮
大阪大学大学院情報科学研究科
-
安本 慶一
奈良先端科学技術大学院大学情報科学研究科
-
安本 慶一
奈良先端科学技術大学院大学
-
木谷 友哉
静岡大学 若手グローバル研究リーダー育成拠点
-
中田 明夫
広島市立大学情報科学研究科
-
木谷 友哉
静岡大学若手グローバル研究リーダー育成拠点
-
木谷 友哉
奈良先端科学技術大学院大学情報科学研究科
-
梅津 高朗
大阪大学大学院情報科学研究科
-
木谷 友哉
奈良先端科学技術大学院大学
-
木谷 友哉
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
高本 佳史
大阪大学大学院情報科学研究科情報ネットワーク学専攻
-
森 亮憲
大阪大学大学院基礎工学研究科
-
山口 聖二
大阪大学大学院情報科学研究科
-
北口 智
大阪大学大学院情報科学研究科:(現在)松下電器産業株式会社
-
藤田 裕久
大阪大学大学院情報科学研究科
-
濱田 雅彦
大阪大学大学院情報科学研究科
-
安本 慶一
滋賀大学経済学部情報管理学科
-
佐々木 俊
大阪大学大学院情報科学研究科
-
中橋 亮
大阪大学大学院情報科学研究科
-
村井 渉
大阪大学大学院情報科学研究科
-
林 大輔
大阪大学基礎工学部
-
山口 弘純
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学大学院情報科学研究科
-
伊地知 孝仁
大阪大学大学院情報科学研究科
-
伊地知 孝仁
大阪大学大学院 情報科学研究科
-
舛田 文彦
大阪大学大学院基礎工学研究科
-
舩曵 信生
岡山大学工学部通信ネットワーク工学科
-
桐村 昌行
三菱電機株式会社情報技術総合研究所
-
北道 淳司
会津大学コンピュータ理工学部
-
北道 淳司
大阪大学大学院基礎工学研究科
-
桐村 昌行
大阪大学大学院基礎工学研究科
-
寺島 芳樹
大阪大学大学院基礎工学研究科
-
大塚 裕孝
大阪大学大学院基礎工学研究科
-
谷本 匡亮
株式会社日立製作所半導体グループ
-
大塚 裕孝
大阪大学大学院基礎工学研究科情報数理系専攻
-
舩曵 信生
岡山大学工学部
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学理工学部
-
藤井 雅和
九州松下電器株式会社
-
中西 透
岡山大学工学部
-
田島 滋人
大阪大学大学院基礎工学研究科
-
山田 誠
東京工科大学大学院バイオ・情報メディア研究科
-
中村 嘉隆
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構,CREST
-
横平 徳美
岡山大学工学部情報工学科
-
舩曳 信生
大阪大学大学院基礎工学研究科情報数理系専攻
-
横平 徳美
岡山大学工学部
-
横平 徳美
岡山大学工学部通信ネットワーク工学科
-
山田 誠
電気通信大学大学院
-
服部 哲
神奈川工科大学情報学部
-
服部 哲
北陸先端科学技術大学院大学情報科学研究科
-
大場 充
広島市立大学情報科学研究科
-
新子 浩康
広島市立大学情報科学部情報数理学科
-
大場 充
広島市大
-
米津 政隆
大阪大学大学院基礎工学研究科情報数理系専攻
-
北道 淳司
大阪大学サイバーメディアセンター
-
木村 旭
大阪大学大学院情報科学研究科
-
藤井 雅和
大阪大学大学院基礎工学研究科情報数理系専攻
-
服部 哲
北陸先端科学技術大学院大
-
片桐 久晶
大阪大学大学院基礎工学研究科情報数理系専攻
-
米津 正隆
大阪大学大学院情報科学研究科情報ネット学専攻
-
中村 嘉隆
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
中村 嘉隆
奈良先端科学技術大学院大学
-
大場 充
広島市立大学
-
深田 敦史
大阪大学大学院基礎工学研究科
-
舷曳 信生
岡山大学工学部通信ネットワーク工学科
-
山田 誠
大阪大学大学院基礎工学研究科情報数理系専攻
-
横平 徳美
岡山大 工
-
山口 弘純
大阪大学大学院情報学研究科
著作論文
- データ付時間オートマトンの双模倣等価性の記号的検証法
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法(VLSI設計技術とCAD)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 並行周期EFSM群でモデル化されたQoSルータの高信頼性設計の一手法
- 並行周期EFSMに対するパラメトリックモデル検査手法(LAシンポジウム(計算機科学基礎理論ワークショップ)論文小特集)
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般テスト)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用
- 双方向マンハッタンストリートネットワークのノード配置問題に対する階層型近似アルゴリズムの提案
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 安全な多重帰属制御を実現するVPN分散管理プロトコルの提案(ネットワークプロトコル,シームレスコンピューティングとその応用技術)
- 静的マルチキャストルーティング問題に対する最適パス選択解法の提案
- (分散システム運用・管理)高速ネットワーク向けネットワークモニタ回路の設計と実装(オブジェクト指向技術)
- 同期通信可能な周期EFSM群のハードウェア構成法
- マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案(ソフトウェア工学の基礎)
- 並行モバイルエージェント間でのマルチランデブチャネルの動的設定が記述可能な言語とその実装
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案
- メディア同期プロトコルの機能試験の一手法
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案
- 実時間システムのパラメータ制約自動導出およびITSへの応用
- シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案(設計技術と設計自動化)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- リアルタイム組込みシステムの動的再構成可能プロセッサへの一実装方法の提案(アプリケーションI, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- マルチランデブに基づくグループ通信機能を提供する Java ミドルウェアの提案
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション
- 有線無線混在ネットワークにおいてグループ通信機能を提供するミドルウェアの実装とその応用(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- 有線無線混在ネットワークにおいてグループ通信機能を提供するミドルウェアの実装とその応用(モバイルコンピューティングとユビキタス通信高度交通システム合同研究報告)
- 有線無線混在ネットワークにおいてグループ通信機能を提供するミドルウェアの実装とその応用
- 実時間制約を有する単一バスシステムのJavaによるモデル化およびパラメトリックモデルチェッキングを用いた設計手法の提案
- 実時間制約を有する単一バスシステムのJavaによるモデル化およびパラメトリックモデルチェッキングを用いた設計手法の提案
- 通信プロトコルの試験系列生成問題へのSATアルゴリズム適用法の提案
- 制約指向モデルで記述された対称性を持つ並行システムの形式的検証(マルチメディアコミュニケーションシステム)
- 複数の移動端末を扱う分散協調システムの一設計法
- 複数の移動端末を扱う分散協調システムの一設計法
- 周期的実時間システム仕様が時相論理式を満足するためのパラメータ条件導出