非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証(計算機システム)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,依存性グラフで与えられた非同期式プロセッサの仕様をもとに,パイプライン化された依存性グラフを生成するパイプライン化アルゴリズムの正当性と完全性を検証している.正当性については,アルゴリズムの適用によって計算結果の等しい等価な依存性グラフが生成されることをアルゴリズムの正当性と定義し,いくつかの中間的なグラフを導入して,等価性の推移律により証明している.完全性については,仕様上並列化してはならない依存性グラフ上の頂点対を明確にした上で,これら以外の頂点対がすべて並列化されることをアルゴリズムの完全性と定義し,動的な並列動作を静的に表現するためのグラフを導入することにより証明している.
- 2010-11-01
著者
関連論文
- 協同ソフトウェア資産管理のためのWebアプリケーションの設計と開発(SIP,NAT)
- 仮想マシンモニタ"Xen"を用いたスケーラブルなWebサーバシステムの提案(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
- 非同期式制御回路合成のための依存性グラフパイプライン化アルゴリズムの検証(計算機システム)
- IT2010-14 MRCPの分類とその素体上の乗算への循環ベクトル乗算アルゴリズムの適用(フレッシュマンセッション,一般)
- 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の利用を前提として(映像符号化,システム及び一般)
- 描画時合成方式と表示時合成方式の併用によるスムーズ操作が可能なマルチウィンドウシステム(計算機システム)
- 依存性グラフを利用した非同期式パイプライン合成のための制御回路の構成法(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(コンピュータ構成要素)
- 制御フローグラフを用いた非同期式パイプライン合成(プロセッサアーキテクチャ,SWoPP2006)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- 非同期式プロセッサのパイプライン化アルゴリズム : 条件分岐のない場合(プロセス・デバイス・回路シミュレーション及び一般)
- SQUIDの二つのしきい値を利用した超伝導論理回路の構成法(計算機構成要素)
- 冠循環血流動態シミュレーション(シンポジウム:インシリコヒューマンと関連研究の展開)
- 冠循環血流動態シミュレーション
- CMOS D フリップフロップのカスケード接続により構成したシンクロナイザの性能評価式
- CMOSにより構成したシンクロナイザの性能評価式
- CMOSにより構成したシンクロナイザの性能評価式
- CMOSにより構成したシンクロナイザの性能評価式
- シンクロナイザの一性能評価法
- 信号変化生起条件判定に基づくタイミング検証の高速化 (テストと設計検証論文特集)
- 信号変化生起条件判定のためのシンプレックス法の高速化
- 信号変化生起条件判定のための高速シンプレックス法
- 自動調節機能を考慮した冠循環血流動態のモデル論的解析(医用工学)
- 自動調節機能を考慮した冠循環血流動態の解析
- 競合処理用ジョセフソンフリップフロップの一構成法
- 同一構造の二つの機能ブロックを用いた長方形動画像用アフィン変換器
- 同一構造の二つの機能ブロックを用いた長方形動画像用アフィン変換器
- 同一構造の二つの機能ブロックを用いた長方形動画像用アフィン変換器
- CMOS Dフリップフロップにおけるメタステーブル動作の組織的軽減法
- 同期式回路スケジューリング法に基づいた非同期式回路設計のための依存性グラフ作成法
- 非同期式プロセッサ設計のための依存性グラフのパイプライン化アルゴリズム
- BS-8-3 不特定多数の利用者を想定した認証ゲートウェイシステムの構築(BS-8. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- マイクロ操作の分解による非同期式プロセッサの高速化について
- 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
- 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
- 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
- 循環ベクトル乗算アルゴリズムの省メモリ実装(セキュリティ関係,一般)
- セレクト及びマージ頂点数の最小化によるパイプライン化依存性グラフの簡単化(計算機システム)
- D-1-1 CUDAを用いた分枝限定法の実装と評価(D-1.コンピュテーション,一般セッション)
- D-6-3 依存性グラフの最大遅延ループを用いた非同期式回路の規模縮小法(D-6.コンピュータシステムA(アーキテクチャ),一般セッション)
- CUDAを用いた多倍長循環ベクトル乗算アルゴリズムの並列化実装(並列処理,FPGA応用及び一般)
- 複数の最大遅延ループを持つ非同期式回路のSDI遅延仮定を用いた縮小法(FPGA非同期,FPGA応用及び一般)