Prolog言語の階層処理システムとその評価
スポンサーリンク
概要
- 論文の詳細を見る
本論文では、Prologプログラムを並列処理するための階層並列処理システムを提案し、システムの性能評価を行う。最初にPrologプログラムを並列処理するために、プログラムの持つ粗粒度のAND並列性やOR並列性と、細粒度の並列単一化処理を統合した階層処理について検討する。粗粒度のAND並列性とOR並列性を効率よく処理するために、拡張AND/OR木を提案する。この木により、Prologプログラムの持つ並列性を十分表現することができる。さらに、制御用にメッシュと木の組合せネットワークを用いてプロセッサを結合した共有メモリ型マルチプロセッサシステムを提案し、この上に、階層並列処理を実現する。最後にその性能評価を行う。
- 一般社団法人情報処理学会の論文
- 1995-01-13
著者
関連論文
- GPUを効率的に利用するための言語拡張と自動最適化手法(HPC-12:言語処理系,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- GPUコンピューティングのためのストリーム処理記述言語
- FPGAによるHPCのためのストリーム計算に関する一検討 : 2次元ヤコビ法のためのスケーラブルパイプラインモジュールの設計と評価(応用3)
- 暗号VLSIプロセッサのための固有電力消費アーキテクチャ
- 細粒度電力制御Cooled logic アーキテクチャ
- FPGAを用いた浮動小数点データストリーム高速圧縮のためのアルゴリズムの検討
- 高性能差分法計算のためのFPGAアレイにおけるFPGA間通信機構の検討(チップ間通信,ルーティング,インターコネクト,デザインガイア2008-VLSI設計の新しい大地)
- RC-003 複数FPGAによるアレイ型差分法専用計算機のためのFPGA間通信帯域評価(ハードウェア・アーキテクチャ,査読付き論文)
- アレイ構造に基づく差分法専用計算機のFPGA実装
- 1627 タービン多段翼列を通る湿り蒸気流れの陰的並列計算(J12-1 流体機械に関連した流体解析と数値最適化技術(1),J12 流体機械に関連した流体解析と数値最適化技術)
- FPGAによる数値流体力学専用計算機(リコンフィギャラブルシステム,一般)
- ニューラルネットワーク(クロストークリンク付きBPD)のFSK復調への応用
- SOUNDコンピュータの試作
- ニューラルネットワークの学習におけるゲイン修正の有効性
- ディレー付きニューラルネットワークを用いた符号化・復号化
- ディレー素子内包型バックプロパゲーションニューラルネットワーク(BPD)の一構成
- 大規模計算環境における分散協調型負荷分散手法(分散システム構築運用技術,新しいパラダイムの中での分散システム/インターネット運用・管理)
- パイプライン型アーキテクチャにおけるOR並列型Prolog実行の一検討
- パイプライン型Prologアーキテクチャにおける負荷分散の一検討
- 多項式高速アルゴリズムの統一と一般化
- 高速省電力ウェーブパイプライン用評価テスト回路の開発
- ウェーブパイプラインと従来方式パイプラインの性能評価
- 3値平衡光伝送符号について(技術談話室)
- Z^*_n中の原始元の簡略化した識別法について
- RC-006 ウェイアロケーション型共有キャッシュ機構のハードウェア設計に関する研究(ハードウェア・アーキテクチャ,査読付き論文)
- I-004 フォトンマップ分割に基づく並列画像生成アルゴリズム(I分野:グラフィクス・画像)
- LC-010 SMTプロセッサの実行時性能予測のためのハードウェアリソース競合解析(ハードウェア・アーキテクチャ)
- ベクトル量子化用コードブック生成のための並列弱肉強食アルゴリズムの性能解析
- LJ-11 視覚的画質劣化を抑制するベクトル量子化手法(J. グラフィクス・画像)
- ベクトル量子化のためのコードブック生成並列処理に関する研究
- ベクトル量子化のための並列コードブック生成アルゴリズムの性能評価(2.第1回情報シナジー研究会)
- 多層パーセプトロンの分類能力向上法に関する一検討
- ニューラルネットワークを利用した自動表情認識システム
- A-19-4 音声による計算機利用支援のための文字情報識別に関する一考察
- 3DCGiRAMアーキテクチャによる実時間レイトレーシングシステム
- MULHIキャッシュの設計及び評価
- D-11-73 レイトレーシングハードウェアのための交差判定器の計算精度に関する一考察
- VLIWアーキテクチャのためのダイナミックブースティング機構
- 投機的実行を行なうVLIWプロセッサの命令供給機構の設計
- 2ZC-7 参照画像を用いた光線追跡法の高速化に関する一検討(レンダリングとアニメーション,一般講演,インタフェース)
- 2ZC-5 大域照明モデルに基づいたガス状物体の表現手法に関する一検討(レンダリングとアニメーション,一般講演,インタフェース)
- 3M-1 興味部位の形状を考慮した動的輪郭モデル
- MULHIキャッシュ : VLIWプロセッサのための命令キャッシュ機構 (並列処理)
- 再構成可能な同期式データフロー計算機に関する一検討
- データ並列ボリュームレンダリングのためのボリューム適応分割手法
- ベクトル命令とスカラ命令を融合した命令レベル並列処理のためのスケジューリング手法
- 東北大学サイバーサイエンスセンターの取り組みとSX-9の性能評価 (スーパーコンピュータSX-9特集)
- 乗算器の回路規模縮小に関する研究(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- 乗算器の回野規模縮小に関する研究(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術,及び一般)
- ビットレベル並列性を利用した演算器の小規模化(プロセッサ, DSP, 画像処理技術及び一般)
- レイトレーシング専用コンピューティングシステムRAPLASのFPGAによる実装(FPGAとその応用及び一般)
- K-032 損失データ再送および属性限定受信に対応した映像配信システム(K分野:ヒューマンコミュニケーション&インタラクション)
- N-027 対話型映像再生に対応した業務用映像配信システム(N分野:教育・人文科学)
- リアルタイム・ビジュアル・デザインレビュー・システムの設計と実装(ハードウエアによるCG処理およびCG一般)
- 再構成可能な同期式データフロー計算機に関する一検討
- 再構成可能な同期式データフロー計算機に関する一検討
- TLB統一型キャッシュのためのタイムスタンプ無効化方式とその性能評価
- RICEによる2次キャッシュメモリの性能評価
- SPMDモデルによる関数型プログラム実行の一検討
- TLB-Assisted Cache
- ウェーブパイプラインを用いた時分割擬似マルチポートレジスタファイル (非同期式回路/システム設計論文小特集)
- 分散フレームバッファシステムを持つ画像生成用超並列処理システム(Mπ)^2の性能評価
- ハードウェアキャッシュ評価システム "RICE"
- 並列グラフ簡約システムにおけるタスク割当て手法とメモリ参照局所性評価
- ジェットパイプラインの並列化命令スケジューリングに関する一検討
- 分散共有メモリ型並列計算機のためのメッセージ損失を許容するメモリアクセスプロトコル
- データの更新をバイト単位で管理するキャッシュメモリ
- プロセッサクラスタ用メモリアクセスバッファリング機構
- メッセージロスのあるネットワークを用いた分散共有メモリマルチプロセッサシステムの評価
- FL階層化並列簡約システムの共有メモリシステム
- Wave-Pipeliningを用いた時分割擬似マルチポートレジスタファイル
- ジェットパイプラインのためのコンパイル技術に関する一検討
- FL階層化並列簡約システムの性能評価
- OpenCLによるGPUコンピューティングの性能評価
- CUDAアプリケーション向けチェックポイント・リスタート機能の実装と評価
- 実アプリケーションを用いたチップマルチベクトルプロセッサの消費エネルギ評価
- 実アプリケーションを用いたチップマルチベクトルプロセッサの消費エネルギ評価
- キャッシュメモリを有するベクトルプロセッサのためのプログラム最適化手法
- キャッシュメモリを有するベクトルプロセッサのためのプログラム最適化手法
- ワーキングセット評価に基づくスレッドスケジューリング
- C-023 プロセッサ自動選択機能を有するBLASの実現に向けた性能評価(ハードウェア・アーキテクチャ,一般論文)
- RC-008 ボランティアコンピューティングの高効率化ためのクライアントレベルスケジューリング(ハードウェア・アーキテクチャ,査読付き論文)
- SPRAT:実行時自動チューニング機能を備えるストリーム処理記述用言語
- ポジション・ディスプレイ・マップによる知識表現
- 動的負荷分散機能を持つ高性能ボランティアコンピューティングの実現
- プログラム自動生成技術に基づくGPUコンピューティングの性能評価
- 機械構造の階層性に基づいた機械設計向き知識ベースに関する検討
- 3次元積層型乗算器の回路分割手法に関する研究(学生・若手研究会)
- 624 消費エネルギを考慮したGPUコンピューティングの検討(OS3.GPGPUコンピューティング(3),オーガナイズドセッション)
- Prolog言語の階層処理システムとその評価
- メタ情報拡散に基づくP2P型自己組織化サービス資源検索機構(ネットワーク応用,インターネット技術とその応用論文)
- 統合開発環境と連携するポータブルなビルドシステム
- HPCアプリケーションの性能可搬性に関する一検討
- ナノ粒子群形成アプリケーションのOpenACCによる実装と性能評価
- 3次元積層型浮動小数点乗算器の回路分割手法に関する研究(高速デジタルLSI回路技術,デザインガイア2011-VLSI設計の新しい大地-)
- 3次元積層型浮動小数点乗算器の回路分割手法に関する研究(高速デジタルLSI回路技術,デザインガイア2011-VLSI設計の新しい大地-)
- 履歴情報に基づくジョブスケジューリングによる広域ベクトルコンピュータ連携の実現
- ソフトウェア進化のための自動性能追跡システム
- 10.6 複合システムにおけるチェックポイントリスタート(第10章:将来の課題,ディペンダブルVLSIシステム)
- 6.4 三次元LSIの課題と高信頼化(第6章:コネクティビティ,ディペンダブルVLSIシステム)