Prologの動作特性に関する考察
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、Lisp,Prolog専用機であるFACOMα上のPrologコンパイラであるα-Prologのコンパイルドコード実行時のアクセス・パターンをトレースによって測定し、その結果をもとにProlog処理系に向いたキャッシュメモリの構成について述べる。尚、本処理系は第5世代コンピュータプロジェクトの一環としてICOTの委託で開発したものである。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 高速通信機構のUNIXクラスタへの適用
- 並列推論マシンPIM/pのアーキテクチャ
- 並列推論マシンPIM/pの要素プロセッサにおける分岐機能の高速化のためのアーキテクチャ
- 並列推論マシンPIM/pのネットワーク
- 並列推論マシンPIM/pの概要
- WebサービスとOGSA : ビジネス分野での応用(グリッドコンピューティング)
- 並列DBのための高速で高信頼な分散ロック機構
- マルチプロセッサ対応のリモート・シンボリック・カーネルデバッガ
- 並列UnixOSの試作と評価
- Prologの動作特性に関する考察
- IPv6による明示的マルチキャスト:XCAST6 (特集 ブロードバンド時代の映像ソリューション) -- (映像ソリューションを支える基本技術)
- CPSY2000-45 Explicit Multicastでの配送先管理 : パケットに配送先アドレス一覧を添付する形式のマルチキャストにおける, アプリケーション層でのマルチキャスト配送先管理
- System Area NetworkにおけるORB通信の高速化手法
- プロセスの2重化によるOSの高信頼化手法
- Smart Scatter:インターネット/イントラネットの負荷分散機構 : パケット振りわけ部
- 高信頼UNIX「風雅」の概要
- 実時間GCの実現方式と評価
- 並列推論マシンPIM/pの要素プロセッサのアーキテクチャ
- FGHC処理システムのメモリ使用特性と世代別ガーベジ・コレクション
- 密結合マルチプロセッサ上のKL1並列処理系の評価
- レジスタトランスファシステムのλ記法による記述と検証
- 4.ビジネスグリッド関連技術動向と標準化活動(ビジネスグリッドコンピューティング)
- 項関係における高速検索手法
- 知識ベース指向並列処理システム
- 項関係上での単一化検索を使ったホーン節推論アルゴリズム
- 知識ベース指向の並列推論処理システム
- 知識ベース指向並列処理システム
- 知識処理向き並列推論メカニズム
- 項インデクスによる知識検索の高速化
- グリッドコンピューティング
- UNIX OSにおけるノード間高速通信
- 2000-OS-85-1 SANにおけるsocket通信の高速化手法
- 並列推論マシンPIM : 中期構想
- RSVPにおける簡易ポリシ制御機能の実装