PROLOG における大域的プログラム解析によらない単一化処理の述語間最適化方式
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,述語呼び出し時に引数特性を伝達する,単純で効果的なPROLOGの単一化処理の最適化方式を提案する.提案方式では,直接出力変数と呼ぶ引数の分類と,その分類情報を格納する直接出力変数フラグを導入し,述語呼び出しでその情報を受け渡すことにより最適化を行っている.本方式は,述語単位のコンパイルで述語間の大域的な最適化が行えるという特長を持っており,不必要なデリファレンスやトレイル処理を除去することによって,出力モードの単一化の処理速度を大幅に向上させることができる.append/3での評価により,従来のWAMに対して3.4倍の高速化が行え,58MIPSのワークステーション上で,3.3MLIPSの高い性能が得られることが明らかになった.
- 1993-11-15
著者
関連論文
- 大容量航空写真を用いた三次元景観表示手法(地理・地図・案内のための情報処理(1))(地理・地図・案内のための情報処理)
- 個体群の共通性に着目したルールベース・マルチエージェントシステムの高速処理方式
- 三次元CGを用いたプラント保全支援システム(CG一般(1))(地理・地図・案内のための情報処理)
- 仮想環境情報を利用したプレゼンテーション動作の自動生成方式
- 仮想環境における自動プレゼンテーションシステム
- 三次元GISを用いた河川業務支援システムの開発
- 福岡県西方沖地震における自治体の対応に関する調査
- 三次元都市計画支援システムのための高速表示方式(地理・地図・案内のための情報処理(1))(地理・地図・案内のための情報処理)
- まちづくりの図面と規制を利用した三次元都市空間の可視化(地理・地図・案内のための情報処理(1))(地理・地図・案内のための情報処理)
- 長崎県佐々町におけるエデュマップ3D・プロジェクト
- 景観評価のための写実的三次元景観表示システム
- 磁気位置センサと軽量ディスプレイを用いた3次元地図の直感的参照方式
- エデュマップの教育的効果の評価
- 遺跡発掘調査報告のための三次元遺構景観表示システム
- 三次元コンピュータグラフィックスによる遺構表示システム
- 三次元GIS技術を活用したプラント保全管理システム
- 三次元GIS及び WebGIS を用いた河川業務支援システムの開発
- 携帯電話向け三次元地理情報システムの研究
- 学校教育用の三次元GISの提案
- 自治体を対象とした写実的な大規模景観表示システム
- 空間データベースを用いた三次元景観作成システム
- 地下埋設物管理3次元地理情報システムの構築に向けた下水道データの分析
- 都市計画データを利用した三次元地理情報システムの試作
- WebGISによるバリアフリーマップの要求分析
- 小中学校における実践授業によるエデュマップの評価
- ベクトル量子化を用いた大容量地形データの非可逆圧縮手法に関する一考察
- 大学講義のためのeラーニング教材作成支援システムの提案(e-Learning教育システムの成果と目指すべきもの/一般)
- インターネット利用型GISにおける情報の制御に関する一検討
- Part-1 座談会 最新の情報技術を活用した高度防災情報の提供に向けて (特集 災害に強い国土づくりに向けた高度情報化)
- グループによるフィールドワーク支援用 WebGIS の評価
- 都市計画支援システムを対象とした空間データベースの実装
- インターネット型3次元GISにおける視覚的重要度に基づく空間データの配布方式
- 3次元地理情報システムにおける都市景観の実時間描画方式
- Xウインドウシステムの動画像拡張方式
- ドイツ語CAI教材の一つの試み
- ドイツ語ドリル型CAIシステムのモデリングと実装
- WWWを利用した双方向ドイツ語学習支援システムの構築について
- WebGISによる地域情報システムの実現に向けて
- 歴史的通称地名調査におけるWebGISの活用
- 歴史的通称地名調査へのWebGISの活用と評価
- エデュマッププロジェクトによる教育の情報化
- 小中学校におけるインターネット電子地図を用いた実践授業
- 3次元地理情報システムのための地表面の実時間描画方式
- 1B1320 バーチャルリアリティを用いた蛋白質分子の3次元表示システムの作成
- ユーザの連続参照に着目した業務イベントのグループ化方式
- ユーザの操作履歴から業務知識を抽出する個人情報管理システム
- 課金を行なわないワークステーションクラスタにおけるジョブ管理
- 分散仮想環境における3次元オブジェクトの表示方式
- 分散仮想環境におけるクライアント・サーバー間の通信方式
- 課金を行なわないワークステーションクラスタにおけるジョブ管理
- 分散仮想環境における3次元オブジェクトの表示方式
- 仮想環境情報を利用したプレゼンテーション動作の自動生成方式
- 分散仮想環境におけるクライアント・サーバー間の通信方式
- 学習過程をネットワーク上で集中管理するドイツ語学習システムの構築
- ネットワーク型仮想現実環境における3次元オブジェクト情報の通信方式
- 多人数チャットシステムにおける人物モデルのジェスチャー機能
- Virtual Communityの提案
- スケジュール情報の共有・再利用に着目した協調作業支援システム
- ルールベース・マルチエージェントシステムにおける集団のモデル化
- オブジェクト指向による仮想化外部装置を用いたFAソフトウェア開発手法 : 評価システム
- オブジェクト指向による仮想化外部装置を用いたFAソフトウェア開発手法 : 実現手法
- オブジェクト指向による仮想化外部装置を用いたFAソフトウェア開発手法 / : 要求分析
- オブジェクト指向による仮想化外部装置を用いたFAソフトウェア開発手法 : 基本構想
- PROLOG における大域的プログラム解析によらない単一化処理の述語間最適化方式
- 最適化PROLOGインタプリタの性能評価