制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)

スポンサーリンク

概要

• 論文の詳細を見る

• 本論文では制御フローグラフの一種である依存性グラフを用いた非同期式プロセッサ設計のためのパイプライン合成手法を提案している.本手法では,まず,CHP形式で与えた仕様をシーケンシャルな依存性グラフで表現し,これを実行順序制約のあるマイクロ操作(基本操作)対のみの実行順序を表す最小依存性グラフ集合に変換する.次に,最小依存性グラフからパイプライン化依存性グラフを合成する.本合成法によれば,Teifelらが提案している合成手法に比べて,データパスにおけるレジスタ数が大幅に軽減できる.

• 2007-05-01

著者

• 岡野 浩三

  岡山大学大学院自然科学研究科

• 岡本 卓爾

  岡山理科大学工学部電子工学科

• 籠谷 裕人

  岡山大学大学院自然科学研究科

• 杉山 裕二

  岡山大学工学部通信ネットワーク工学科

• 籠谷 裕人

  岡山大学工学部通信ネットワーク工学科

• 岡本 卓爾

  岡山大 工

• 岡本 卓爾

  岡山大学大学院自然科学研究科

• 岡本 卓爾

  岡山理科大学工学部

• 寵谷 裕人

  岡山大学工学部情報工学科

• 杉山 裕二

  岡山大学工学部

• 岡本 卓爾

  岡山大学

• 岡本 卓爾

  岡山大学工学部情報工学科

• 岡本 卓爾

  岡山大 大学院自然科学研究科

関連論文

• 協同ソフトウェア資産管理のためのWebアプリケーションの設計と開発(SIP,NAT)
• 仮想マシンモニタ"Xen"を用いたスケーラブルなWebサーバシステムの提案(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
• ペンドラムテストにおける個人差の影響の軽減手法 : 健常者の場合
• 一般口演I-4 ペンドラムテストに対する個人差の影響軽減の試み : 健常者を対象にして(第28回中国四国支部大会抄録)
• 確率的モデル検査ツールを用いた実時間ネットワークシステムの検証手法の提案およびネットワークシミュレータNS-2との比較
• 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
• 非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証(計算機システム)
• 在庫管理プログラムの設計に対するJML記述とESC/Java2を用いた検証の事例報告(研究速報)
• IT2010-14 MRCPの分類とその素体上の乗算への循環ベクトル乗算アルゴリズムの適用(フレッシュマンセッション,一般)
• 拡張時間オートマトン群による実時間システムの記述および検証
• 時間システムを対象とした到達可能性解析の高速化手法の提案
• 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析
• OCLのJMLへの変換ツールの実装と評価
• OCLのJMLへの変換ツールの実装について
• 実時間システムを対象としたCEGARによる抽象洗練の並列化手法
• Javaに対するループインバリアントを含むDaikon生成アサーションの妥当性評価(研究速報)
• 上位設計におけるシステムの振る舞い検証技術(システム設計のための形式手法の基礎と応用)
• B-001 Javaに対するDaikonを用いたインバリアント自動生成のための汎用基盤ツール(ソフトウェア,一般論文)
• 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
• UML/OCLを用いた分散実時間アプリケーション開発手法の提案
• UML/OCLを用いた分散実時間アプリケーション開発手法の提案
• D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
• 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
• 関数型言語ML向け形式的検証支援システムの試作
• 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開)
• 関数型言語MLによるプレスブルガー文真偽判定ルーチンの開発と検証支援システムへの応用
• D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)
• マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード導出
• ペトリネットで記述された簡易ブラウザ型の組込みJavaプログラム動作仕様に対する実行方式の提案
• ワークフロー記述向きの時間付きカラーペトリネット
• PeerCastにおける経路の動的変更機能の実装(次世代ネットワーク,SIP・プレゼンス,一般)
• VNCプロクシのネットワーク負荷分散性能の評価(インターネットの品質評価・品質管理技術,ネットワーク品質,トラヒック計測,一般)
• API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
• API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成
• 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
• 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
• 電子的なホワイトボードのセキュア化に関する研究(信号処理,符号化,知的マルチメディアシステム,一般)
• VNCにおける負荷分散と操作権限制御を目的としたプロクシの提案(次世代ネットワーク,SIP・プレゼンス,一般)
• 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
• 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
• 動画像圧縮技術を応用した透視変換の高効率化に関する研究(信号処理, 符号化とそれらを用いた知的マルチメディアシステム, 一般)
• 最適化手法によるパノラマ画像合成法の提案(画像システム,知的マルチメディア処理システム及び一般)
• 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
• 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
• 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
• 非同期式パイプライン制御回路の論理合成法(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
• 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための二つの提案(コンピュータグラフィックス)
• 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
• 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
• 並列データパス付き小型DSPを利用したVGA動画像の射影変換 : 高速化のための2つの提案(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
• 集計時の負荷を軽減した重み付き電子投票プロトコル
• 1次元処理に分解することにより実現したアフィン変換の高速化 : 並列データパスを持つDSPの利用を前提として(映像符号化,システム及び一般)
• 射影変換における座標計算の高速化手法(画像・映像処理)
• D-11-139 射影変換における座標計算の高速化手法 : 誤差の評価(D-11.画像工学D)
• パーソナルユースを指向した動画像用幾何学変換器の実現法
• パーソナルユースを指向した動画像用幾何学変換器の実現法
• 大規模VLAN環境におけるVLANの相互接続方式(Internet/LAN運用管理技術,ユーザ指向の分散システム/インターネットの運用・管理)
• 描画時合成方式と表示時合成方式の併用によるスムーズ操作が可能なマルチウィンドウシステム(計算機システム)
• 依存性グラフを利用した非同期式パイプライン合成のための制御回路の構成法(コンピュータ構成要素)
• 制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)
• 制御フローグラフを用いた非同期式パイプライン合成(プロセッサアーキテクチャ,SWoPP2006)
• 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
• 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
• SQUIDの二つのしきい値を利用した超伝導論理回路の構成法(計算機構成要素)
• 冠循環血流動態シミュレーション(シンポジウム:インシリコヒューマンと関連研究の展開)
• 冠循環血流動態シミュレーション
• 信号変化生起条件判定に基づくタイミング検証の高速化 (テストと設計検証論文特集)
• 信号変化生起条件判定のためのシンプレックス法の高速化
• 信号変化生起条件判定のための高速シンプレックス法
• シャッフル型WDMネットワークにおけるノード配置アルゴリズム : 経路を設計変数とした場合(次世代ネットワーク,SIP・プレゼンス,一般)
• 自動調節機能を考慮した冠循環血流動態のモデル論的解析(医用工学)
• 自動調節機能を考慮した冠循環血流動態の解析
• EDDコネクション受付制御方式における遅延余裕割当法 : 必要が生じたときに割り当てる方法(ユビキタス時代のNWシステム・サービス,一般)
• EDDコネクション受付制御方式における遅延余裕割当法 : 必要が生じたときに割り当てる方法
• シャッフル型波長分割多重方式パケット交換網におけるノード配置アルゴリズム
• EDDコネクション受付制御方式における最悪リンク遅延導出法の高速化(次世代ネットワーク,Volp,一般)
• シャッフル型波長分割多重方式パケット交換網におけるノード配置アルゴリズム
• EDDコネクション受付制御方式における最悪リンク遅延の高速導出法 : パケット長の最大値がコネクションによらず一定の場合
• EDDコネクション受付制御方式における最悪リンク遅延の高速導出法
• EDDコネクション受付制御方式における遅延余裕の一割当法 : 最悪リンク遅延に比例した割当て
• EDDコネクション受付制御方式における最悪リンク遅延の高速導出法
• 複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法
• 集計時の負荷を軽減した重み付き電子投票プロトコル
• OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験
• モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
• モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
• 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
• 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
• 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
• 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
• セレクト及びマージ頂点数の最小化によるパイプライン化依存性グラフの簡単化(計算機システム)
• D-1-1 CUDAを用いた分枝限定法の実装と評価(D-1.コンピュテーション,一般セッション)
• D-6-3 依存性グラフの最大遅延ループを用いた非同期式回路の規模縮小法(D-6.コンピュータシステムA(アーキテクチャ),一般セッション)
• 制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案
• SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案
• PDGとSMTソルバを利用した表明自動導出手法の提案と評価(ソフトウェア工学,ソフトウェア基礎・応用論文)
• 契約記述の変更傾向の開発履歴情報を用いた調査
• 契約記述の変更傾向の開発履歴情報を用いた調査
• CUDAを用いた多倍長循環ベクトル乗算アルゴリズムの並列化実装(並列処理,FPGA応用及び一般)
• 複数の最大遅延ループを持つ非同期式回路のSDI遅延仮定を用いた縮小法(FPGA非同期,FPGA応用及び一般)

もっと見る 閉じる

スポンサーリンク