2000-ARC-139-8 剰余区間演算規則とその応用例
スポンサーリンク
概要
- 論文の詳細を見る
剰余区間演算は実数上の区間に含まれる剰余群を対象とする集合演算と算術演算からなる演算体系として提案された.剰余区間は, 計算機で取り扱う離散的かつ循環的な整数の集合を表すのに適した表現であり, その特長はプログラム解析等に用いる上で適している.本研究では, 剰余区間演算を使ったプログラム解析の応用例として, 自動ベクトル化/並列化コンパイラにおいて行われるデータ依存解析等のプログラム解析, 高位論理合成における値域解析への応用例を紹介する.また, 基本演算による誤差を削減する演算規則を提案し、その有用性を示す.
- 一般社団法人情報処理学会の論文
- 2000-08-03
著者
-
福田 晃
奈良先端科学技術大学院大学
-
中西 恒夫
奈良先端科学技術大学院大学情報科学研究科
-
曽山 典子
天理大学人間学部
-
中西 恒夫
九州大学大学院システム情報科学研究院
-
曽山 典子
奈良女子大学人間文化研究科
-
加古 富志雄
奈良女子大学理学部
-
加古 富士雄
奈良女子大学理学部
-
加古 富志雄
奈良女子大学人間文化研究科 複合現象科学専攻
関連論文
- 関数型言語指向プロセッサアーキテクチャ
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- マルチメディア同期機構の試作と評価
- マルチメディア処理におけるOSレベルでのリソース・リザベーション
- PDE-IIにおけるリソースのリザベーションに関する考察
- オンチップマルチプロセッシングアーキテクチャ : ロック機構
- プログラマブルデバイスを用いた可変構造シミュレーションシステムの開発
- プログラマブルデバイスを用いた可変構造シミュレーションシステム
- Ad Hoc Networkでの相対位置情報を用いた車車間通信システム
- 放送により配信される位置依存情報のキャッシュ方式(モバイルコンピューティング)
- 複数の通信メディアを利用した階層型データの効率的転送の実装モデル
- 移動経路情報を利用した路車間通信方式のシミュレーションによる評価
- STRAP : 移動を考慮した空間的時間的資源割当てプロトコル(マルチメディア通信と分散処理)
- 移動計算機における位置依存情報のキャッシュ方式に関する考察
- 移動経路情報を利用したデータ転送方式のシミュレーションによる評価
- 移動計算機環境における階層型データのためのキャッシュシステム
- 移動を考慮した空間的時間的資源割り当てプロトコルの提案とその適応
- STRAP:移動を考慮した空間的時間的資源割り当てプロトコルに関する提案
- 配列参照パターンによるプログラム並列化・最適化支援
- 並列化支援のためのデータ依存の3次元視覚化
- B-7-128 マルチキャストのための再送制御方式の基礎検討
- クラスタ型NUMAマルチプロセッサにおけるメモリ協調スケジューリング方式
- メモリ管理を考慮したNUMAマルチプロセッサにおける2レベルスケジューリングの評価
- 分散型構造解析手法の負荷分散への適用
- モジュール構成のマルチプロセッサ・スケジューリング・シミュレータ
- Net Newsのためのキャッシングアルゴリズム(ネットワークソフトウェア)
- NetNewsにおける必要な記事の自動選択法
- NetNewsにおける必要な記事の自動選択法
- NetNewsのためのキャッシュシステム
- NetNewsのためのキャッシュシステム
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- ニュースグループごとに配送方式を自動変更するNetNewsシステムの評価
- NUMAマルチプロセッサにおけるメモリ管理を考慮した2レベルスケジューリング
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- リアルタイムモニタリング機能を実装したハードウェアスケジューラの設計と実装
- 並列性と移植性をもつユーザレベルスレッドライブラリーPPLの設計および実装
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- 並列性と移植性を考慮したユーザレベル・スレッドライブラリPPLの実装と評価
- OSレベルでのリソース・リザベーションのメディア並列処理に対する効果
- PDE-IIにおけるリソース・スキーマの提案
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- 分散共有メモリの形式的仕様記述について
- リリース・コンシステンシ・モデルとその実現の形式的仕様記述について
- ニューラルネットワークによるプログラム分割アルゴリズムの改善
- 実用的な近似解を与えるプログラム分割アルゴリズム
- 実用的な近似解を与えるプログラム分割アルゴリズム
- Communication-Parallelism Graphによるデータ自動分割手法
- ワークステーションクラスタにおけるSCIDDLEライブラリの評価
- 2000-ARC-139-25 可変構造シミュレーションシステムRiSPの機能拡張
- 並列OS"K1"の実装と性能評価
- 並列OS"K1"の実装と性能評価
- マイクロカーネル構成OSにおけるマルチプロセスサーバとマルチスレッドサーバの比較
- マイクロカーネル構成OSにおけるシステムサーバの構成法
- 移動計算機の情報発信環境における階層型データのためのキャッシュシステム
- オンチップマルチプロセッシングアーキテクチャにおけるメモリシステム
- 多項式における剰余区間演算誤差削減のための演算規則
- 2000-ARC-139-8 剰余区間演算規則とその応用例
- HTGの最適化手法への適応に関する考察
- CDP^2アルゴリズム : データ分割グラフ上での統合的データ・プログラム分割アルゴリズム
- HDPG:階層データ分割グラフ
- フラッシュメモリファイルシステムにおけるメモリ割当ての効果システムソフトウェアの新しい潮流
- 移動計算機からマルチメディア情報を効率的に提供するツールキットWORの設計と実装(マルチメディアネットワークシステム)
- 組込みシステム向けフラッシュメモリファイルシステムの設計
- 移動計算機から位置依存情報を提供するサービスアプリケーションの構築
- 2000-OS-85-15 組み込み向けOSにおけるデバイスドライバの自動生成について
- UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現(特集:システムソフトウエアの新しい潮流)
- 移動計算機情報発信環境のためのToolkitの設計と実装(特集:システムソフトウエアの新しい潮流)
- 電車模型制御用ソフトウエアシステムの設計
- 電車模型制御用ソフトウエアシステムの設計
- 組込システム向け実行環境の自動生成 : δプロジェクトの構想
- 移動計算機のための帯域の狭いネットワーク環境を考慮した情報発信機構(マルチメディア通信プロトコル)
- 組込み機器向けOSの移植性を考慮した割込み機能の抽象化
- OS間の差異を吸収するデバイスドライバ自動生成システムの設計
- カーネル内スケジューリングポリシの動的置換
- 動的保護が可能な動的構築機構を有するオペレーティングシステム・サーバの実現と評価 (新しいシステムソフトウェア)
- ユーザレベルスレッドライブラリPPLにおける柔軟なスケジューリング機構 (新しいシステムソフトウェア)
- 組み込みシステム向けオペレーティングシステムの構成
- 組み込み用フラッシュメモリファイルシステムの設計
- 2000-ARC-139-24 コードサイズを縮小する組込み向けプロセッサと目的コードの協調生成
- カーネルスケジューラの動的置換
- オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
- オブジェクト指向の枠組によるループ並列化記述
- OMT法による並列化コンパイラ中間言語フレームワークの構築
- NUMAマルチプロセッサにおける2レベルスケジューリングアルゴリズムの評価
- 分散共有メモリ型並列計算機の自動スケジューリング手法
- 通信量が制限された環境における移動計算機情報発信方式 : 非蓄積型リソース発信の性能評価
- 移動計算機情報発信環境におけるキャッシュの更新方式について
- 移動計算機情報発信環境におけるキャッシュの更新方式について
- OSの自動生成に向けて
- 分散環境上の並列処理支援システムDYAMONDSの設計
- 分散環境上の並列処理支援システムDYAMONDSの設計
- ループ最小並列実行時間算出の一手法
- 剰余区間演算 : データフロー解析のための数学的ツール
- データ分割配置を考慮するループディストリビューション
- ループによって運ばれる依存を有するループの並列実行時間の見積り
- 整数計画問題としてのループ並列実行時間の下限算出問題
- 並列性と移植性を持つユーザレベルスレッドライブラリPPLの拡張
- デバイスドライバ生成システムにおける入力形式に関する考察
- デバイスドライバの生成支援に関する考察
- 組み込みシステムにおける機器制御ライブラリの生成支援