チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
スポンサーリンク
概要
- 論文の詳細を見る
本研究では,通信の動的な振舞いを考慮したチップ内ネットワークの性能要求検証手法,および,通信スケジューリングの最適化手法を提案する.提案する性能要求検証手法では,時間ペトリネットによって,チップ内ネットワークの動的振舞いをミクロ的にモデル化する.次に,通信のレイテンシ・スループットに関する要求性能を満たし,かつ,デッドロックが起こらないことをモデル検査によって検証する.通信スケジューリング最適化手法では,アプリケーションの各通信フローに対して,まず,レイテンシ要求を満たすために当該フローが通過するルータ群に対する時間制約を導出する.次に,得られた制約に基づいて,静的スケジューリング理論に基づくTDMAタイムスロット割り当て手法を適用することにより,より効率的にルータ資源を利用し,かつ,性能要求を満たす通信スケジューリング解の探索を行う.
- 一般社団法人情報処理学会の論文
- 2007-03-15
著者
-
村井 渉
大阪大学大学院情報科学研究科
-
中田 明夫
広島市立大学大学院情報科学研究科
-
木谷 友哉
奈良先端科学技術大学院大学情報科学研究科
-
安本 慶一
奈良先端科学技術大学院大学情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科
-
林 大輔
大阪大学基礎工学部
-
中田 明夫
広島市立大学情報科学研究科
-
木谷 友哉
静岡大学若手グローバル研究リーダー育成拠点
-
中田 明夫
大阪大学大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
木谷 友哉
静岡大学 若手グローバル研究リーダー育成拠点
-
木谷 友哉
奈良先端科学技術大学院大学
-
安本 慶一
奈良先端科学技術大学院大学
-
東野 輝夫
大阪大学大学院情報学研究科
関連論文
- 移動センサノードを用いたデータ収集型WSNでのk重被覆時間の最大化手法
- ネットワークオンチップにおける回路面積と配線コストを考慮したチップ内通信構造最適化の一手法(コンピュータシステムの設計・検証及び一般,デザインガイア2007-VLSI設計の新しい大地を考える研究会)
- 時間オートマトンのモデル検査(モデル検査,フォーマルアプローチ論文)
- 系統的なテストを可能にするユビキタスアプリケーションシミュレータの提案(UBI6:プラットフォーム・アーキテクチャ)
- 指向性アンテナおよび車車間通信を用いた歩行者位置追跡手法とその評価(セッション2)
- 分離・合流をともなうグループ観光スケジュール作成機能の提案
- 分離・合流を伴うグループ観光スケジュール作成機能の提案(セッション4)
- MANETによる携帯端末でのワンセグ視聴品質向上手法(セッション6-C:無線ネットワークと応用技術)
- B-17-6 公衆自営連携コグニティブ無線アクセスネットワークのための連携制御方式(B-17.ソフトウェア無線,一般セッション)
- 多数の観光候補地から効率良い観光スケジュールを自動的に作成・提案するシステムP-TourのGoogle Mapsを利用した設計と実装(セッションB-9:マルチメディア,アプリケーション)
- P-Tour : 観光スケジュール作成支援とスケジュールに沿った経路案内を行うパーソナルナビゲーションシステム(ITS)(次世代移動体通信システム)
- 車車間通信による交差点鳥瞰映像ストリーミング手法の提案(セッション2)
- 各車両の予定経路情報を利用した車車間通信による情報取得手法の提案(セッション1)
- メッセージフェリーと車車間通信を併用した渋滞情報収集システムの情報伝播効率の改善(車車間通信技術,次世代社会基盤をもたらす高度交通システムとモバイル通信システム)
- 時間オートマトンのモデル検査
- 被災地におけるDTNに基づいた情報収集・共有方式の提案(セッション1-C:マルチメディアシステム)
- 多数の情報家電を仮想空間を介して遠隔操作するフレームワークの提案(UBI-1【ホームネットワーク/実世界インタフェース】)
- 仮想空間を用いたスマートスペースアプリケーション向けシミュレータ(モバイルコンピューティング,情報洪水時代のネットワークサービス)
- 異なる品質要求を持つ複数ユーザへのピアツーピアビデオ配信手法(ネットワークプロトコル,情報洪水時代のネットワークサービス)
- ハードウェア化のための多目的GAアーキテクチャの提案(バイオインフォマティックスの情報科学への応用)
- 携帯無線端末向け複数ビデオ同時視聴サービスのための放送型ビデオ配信方式(セッション3:ユビキタスシステムとマルチメディア通信)
- 将来の混雑状況予測に基づく混雑回避巡回スケジューリング手法の提案(セッション4)
- MANET上での効率良いビデオ配信を目的とした準最適マルチキャスト配送木の分散構築法(無線・モバイルネットワーク,シームレスコンピューティングとその応用技術)
- FPGA上への遺伝的アルゴリズムの柔軟な実装手法の提案(応用技術,リコンフィギャラブルシステム論文)
- 時間オートマトンにとる実時間システムの形式的検証
- 実時間ソフトウェア再利用のためのパラメトリック実行時間解析の一手法
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- 部品のコスト・性能を考慮したリアルタイム組込みシステムの一設計法(VLSI設計技術とCAD)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 実時間通信システムに対する高信頼ハードウェア合成手法の提案(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 並行周期EFSM群でモデル化されたQoSルータの高信頼性設計の一手法
- 遷移の選択が状態訪問回数で決まる有限状態機械対からなる通信系に対する生存性の検証
- 満足度と体力を考慮した観光スケジューリング法の提案
- 携帯電話端末への低コスト動画広告配信を目的としたWiFi併用協調ダウンロード方式
- 都市や観光地における混雑状況を考慮した多数ユーザ同時巡回スケジューリング手法
- データサイズと送信期限を考慮したDTN経路制御手法
- 無線センサネットワーク長寿命化のためのノード集合の分割に基づくスリープスケジューリング手法
- 無線センサネットワーク長寿命化のためのノード集合の分割に基づくスリープスケジューリング手法
- 天気変化を考慮した観光スケジュール群の探索アルゴリズム
- 電子トリアージタグに基づいた傷病者搬送計画システムの提案
- 利用者の状況に応じて画面レイアウトが変更可能な遠隔教育支援システムの提案
- 大容量コンテンツ配信を目的とした携帯電話網・Bluetooth併用協調ダウンロード手法
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- チップ内ネットワークの性能要求検証および最適化のための一手法(ネットワーク,通信)
- 被災地におけるDTNに基づいた情報収集・共有方式の提案(セッション1-C:マルチメディアシステム)
- 多数の観光候補地から効率良い観光スケジュールを自動的に作成・提案するシステムP-TourのGoogle Mapsを利用した設計と実装(セッションB-9:マルチメディア,アプリケーション)
- モバイルアンカノードを用いた低コストな水中センサノードの位置推定法
- 移動センサノードを用いたデータ収集型WSNでのk重被覆時間の最大化手法
- 水面を移動可能なアンカーノードを用いた水中センサネットワークのノード位置推定手法の提案
- 電子トリアージタグに基づいた傷病者搬送計画システムの提案
- 天気変化を考慮した観光スケジュール群の探索アルゴリズム
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法(FPGAとその応用及び一般)
- 即時通信を行うハードウェアのサイクル精度動作記述モジュール群に対するモデル検査の一手法
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- リソーススケジューリングを考慮したUML MARTE振る舞い仕様の性能検証
- 大容量コンテンツ配信を目的とした携帯電話網・Bluetooth 併用協調ダウンロード手法
- 複数日にわたる観光のためのパーソナルナビゲーションシステム(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- N-025 3×3分割表を用いたテスト項目関連構造の分析(教育・人文科学,一般論文)
- 時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出
- 時相論理式を満足する実時間プロトコル仕様のパラメータ条件導出
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般テスト)
- 時間制約付き制御フローグラフの弱双模倣等価性検証およびWebセキュリティ検査への応用(VLSIの設計/検証/テスト及び一般 テスト)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 多数の情報家電を仮想空間を介して遠隔操作するフレームワークの提案(UBI-1【ホームネットワーク/実世界インタフェース】)
- パラメタ付き時間インターバルオートマトンに対するパラメトリック検証の高速化手法 (計算機科学基礎理論とその応用)
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- シナリオを用いたタスク及びバス転送へのサイクル割り当ての一手法(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 実時間制約検証に特化したCANバスモデルの提案とシミュレータの試作(アーキテクチャ)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 再構成オーバーヘッドを考慮した動的再構成可能プロセッサへの実時間タスク群分割実装アルゴリズムの提案(タスクスケジューリング,組込技術とネットワークに関するワークショップETNET2008)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 動的リコンフィギャラブルプロセッサへの時間制約付き機能モジュール群分割アルゴリズムの検討(DRP,FPGA,組込技術とネットワークに関するワークショップETNET2007)
- 安全な多重帰属制御を実現するVPN分散管理プロトコルの提案(ネットワークプロトコル,シームレスコンピューティングとその応用技術)
- メッシュ型物理トポロジのマルチホップWDMネットワークでの階層型コーダルリングネットワーク構築法の検討(次世代ネットワーク,SIP・プレゼンス,一般)
- 系統的なテストを可能にするユビキタスアプリケーションシミュレータの提案(UBI6:プラットフォーム・アーキテクチャ)
- データ付時間オートマトンの双模倣等価性の記号的検証法
- あるクラスの時間オートマトンに対する適合性試験系列生成の一手法(マルチメディア通信と分散処理)
- シミュレーションによるバス通信構造の設計改善を容易化するバスシステム設計支援ツールの提案(設計技術と設計自動化)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- トポロジの多重化によりトラヒック分散を実現した階層型論理トポロジの構成法とそのルーティングアルゴリズム(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- リアルタイム組込みシステムの動的再構成可能プロセッサへの一実装方法の提案(アプリケーションI, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- マルチランデブに基づくグループ通信機能を提供する Java ミドルウェアの提案
- Java言語による階層バス調停ポリシーを持つバスシステムのモデリング及びシミュレーション(コデザイン及びアーキテクチャ)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 文脈自由プロセスに対するプロトコル合成の一手法