PrologプログラムのAND-OR並列実行モデル
スポンサーリンク
概要
- 論文の詳細を見る
Prologプログラムの実行は,AND-OR木の探索と対応付けられ,一般には,けられ,AND並列性,OR並列性,並列ユニフィケーションの3つのタイプの並列性が存在する.本論文では,Prologプログラムを並列に処理するAND-OR並列実行モデルを提案する.本モデルは,Prologプログラムに内在する並列性を最大限に抽出し,並列に処理するモデルである.
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
- 多元画像を用いたクラスターの自動判別
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 言語処理系クラスライブラリと一体化したオブジェクト指向構造エディタ
- 衛星ネットワークと地上広域UNIXネットワークの接続方式
- LOTOSグラフィックエディタの構成
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- パネル討論会 : 創立30周年記念 : 日本における情報処理教育のあり方
- AP/Linux上での並列プロセススケジューリングの設計
- 並列計算機のPE間通信状況を考慮したタスク配置アルゴリズムの評価
- 連続型と非連続型を融合したタクス配置アルゴリズムの提案
- メッシュ結合並列計算機用パーティショニングアルゴリズムの時分割処理化
- パーティショニングアルゴリズムを用いた時分処理の実装方法
- アルゴリズムアニメーションによる並列マルチタスク管理の解析と評価
- プロセス管理と協調した管理情報共有機構(MetaShare)によるメモリ負荷分散方式の検討
- 多方向性と無作為性をもつパーティショニングアルゴリズムとそれを利用した時分割処理
- 超並列OS「超流動OS」の超分散化の考察
- 超流動OS開発用超並列マシンシミュレータ
- メッシュ結合並列計算機用パーティショニングアルゴリズム2D Buddyまたは Adaptive Scanを使った時分割処理の評価
- メッシュ結合並列計算機のパーティショニングアルゴリズム2D BuddyまたはAdaptive Scanを使った時分割処理
- 管理情報共有機構(MetaShare)を大域的仮想仮想記憶で利用した場合の基本性能評価
- 大域的仮想仮想記憶(GVVM)のRWC-1上での性能予測
- 適合型マップを用いた超並列システム用管理情報共有機構の提案
- 無制限に変更・拡張が可能なコンパイラの設計・実現方法の提案
- 実行効率を考慮した並列プログラムの移植性確保 : 問題の最適並列度推定
- 超流動OSのための適合型情報管理機構の基本設計
- 超流動OSのための大域的仮想仮想記憶(GVVM)とプロセッサ割り付けアルゴリズムの適合性の評価
- PC Communication in an OSI environment : TM&T : Mail and Talk on TAINS
- 次世代高次コミュニケーション
- 表明を持つ項書き換え系(A-TRS)を用いたストリーム・プログラミング
- LOTOS仕様の実装法に関する一考察
- ベンチマークテストによるライブラリ内アルゴリズム選択
- オブジェクト指向に基づいた分散処理OSの設計と実現
- Graphical Interface for Representation of LTS
- TAINSの全体構成
- 東北大学総合情報ネットワークTAINSの構想
- 高速並列I/Oモデル「コンテナモデル」の汎用化に関する考察
- プロトコル検証システムの設計と実現方式
- 超流動OSのための管理情報共有機構(MetaShare)の設計
- 超流動OSの大域的仮想仮想記憶におけるページ探索法の比較
- 超並列システム用OS「超流動OS」におけるアプリケーションソフトウェアの動的最適化
- 超並列システム用OS「超流動OS」における仮想記憶管理の方式
- 超並列システム用OS「超流動OS」の基本概念と実行制御のためのアクティビティの基本設計
- オブジェクト指向言語における外部システムとの結合方式の検討
- オブジェクト指向言語におけるクラスの集約化
- PrologプログラムのAND-OR並列実行モデル
- ASN.1データ定義支援環境の構成
- LOTOS仕様からのTTCN表現によるテストシーケンスの自動生成
- NOAA画像データと地理的情報の重ね合わせ
- NOAA画像データと等圧線の重ね合わせ
- 代数的に記述されたプロトコルの検証に関する一考察
- AN APPROXIMATION METHOD FOR K-TERMINAL RELIABILITY EVALUATIONIN INFORMATION NETWORKAn
- ユーザインタフェースの設計に関する一考察
- LOTOSの状態遷移的解釈
- Conservativity of Typed Lambda Calculus over Intuitionistic Logic
- Relationship Between Logic And Type System