並列PrologマシンPARK上のProlog処理系の実現について
スポンサーリンク
概要
- 論文の詳細を見る
現在、筆者らの研究室では、並列PrologマシンPARK(Parallel Processing System of Kobe University)を製作中である。本稿では、 PARK上に実現する並列Prolog処理系について、その概要と実現の方式について述べる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
-
小畑 正貴
岡山理科大学工学部
-
前川 禎男
神戸大学工学部
-
増尾 剛
日本電信電話(株)NTTソフトウェア研究所
-
松田 秀雄
神戸大・自然科学
-
増尾 剛
神戸大・工
-
小畑 正貴
岡山理大・工
-
金田 悠紀夫
神戸大・工
-
前川 禎男
神戸大・工
関連論文
- FPGAによる並列計算機用二次元ネットワークの実機評価システム(応用技術,リコンフィギャラブルシステムとその応用論文)
- 直接マイクロコード生成形コンパイラによるLISPマシンの高速化
- コンパイラ導入による試作LISPマシンの効率改善について
- LISPマシンの試作 : インタプリータの構造とシステムの評価
- LISPマシンの試作 : アーキテクチャとLISP言語の仕様
- 帰納的学習アルゴリズムの特性解析
- 浮動小数点 DSP による高並列ア***ロセッサシステム
- シグナルプロセッサアレイ : SPA
- マイクロプロセッサアレイによる2次元ディジタルフィルタの実現
- 28pSC-2 岡山空気シャワーアレイによる宇宙線観測5(28pSC 高・超高エネルギー,宇宙線・宇宙物理領域)
- 24pZX-14 岡山空気シャワーアレイによる宇宙線観測4(高・超高エネルギー宇宙線,宇宙線・宇宙物理領域)
- PC-FPGA複合クラスタにおけるソフトウェア-ハードウェア間通信と遠隔呼出し(リコンフィギャラブル応用2)
- PrologマシンPEKにおける中間コードとその実行方式
- 並列知識ベースマシンのアーキテクチャ
- PrologマシンPEKにおけるProlog中間コードについて
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- JavaによるPCクラスタソフトウェアの開発と評価
- JavaによるPCクラスタソフトウェアの開発と評価
- 分散共有メモリ型超並列計算機JUMP-1におけるスケーラブルI/Oサブシステムの構成
- 超並列計算機JUMP-1におけるディスク入出力サブシステムの実装
- 高速通信網FEN(Fast Exclusive Network)による並列・分散処理環境
- 並列Prolog処理系"K-Prolog"の実現
- Realization Problem for Two-Dimensional Systems
- Structure Theory for a Certain Type of Roesser's Model in Two-Dimensional Systems
- 構造化プログラムの日本語ドキュメント作成システム
- トーラス・リング・バス結合階層型並列マシン
- トーラス・リング・バス階層型並列マシン
- 1次元 DSP アレイ上での光線追跡法の並列計算
- 高並列DSPシステム-SPA-による三次元グラフィクス
- 時間系列を伴う例からの抽象化に基づく戦略学習
- Manhattan Street Networkにおける代理送受信を用いたルーティング手法 (並列処理)
- Manhattan Street Network における代理送受信を用いたルーティング手法
- 大規模並列計算機のための遠隔分散型画像表示システム
- 単方向2次元トーラスネットワークの構成とシミュレーションによる評価
- 分散フレームバッファのワークステーションクラスタへの応用
- Omni OpenMPコンパイラ用並列プログラム可視化ツール(プログラミングモデル・ツール)
- STAFF-Linkを用いたワークステーションクラスタ上へのPVMの実装とその評価
- 超並列計算機JUMP-1におけるハイビジョン画像表示システム
- 分散共有メモリ型超並列計算機JUMP-1の入出力サブシステム
- 高速シリアル・リンクを用いた分散画像生成実験システム
- マルチプロセッサシステムPARK上での並列Prolog処理系の実現
- 試作BCプロセッサアレイによる軸選択ガウス消去
- 並列PrologマシンPARK上のProlog処理系の実現について
- 試作BCプロセッサアレイとその評価
- 動的計画法の並列計算 : 並列計算性とアルゴリズム
- マトリクスブロードキャストバス結合形並列プロセッサによる軸選択形ガウス消去の並列計算法
- ブロ-ドキャストメモリ結合型並列計算機 (システムと制御技術展′84特集号)
- ブロードキャストメモリ結合形マルチマイクロプロセッサシステムの試作
- BCプロセッサアレイと高並列マトリクス計算
- マトリクスブロードキャストメモリ結合形並列計算機によるn元連立一次方程式のO(n)時間計算
- 三角錐スリット光投影法による対象平面の距離とその姿勢の計測
- ソフトウェアDSMにおけるコヒーレント・キャッシュシステムの実装と評価
- 神戸大学工学部情報知能工学科前川研究室
- ネットワーク環境における分散共有メモリの実現と評価
- 事例に基づくプランニングを用いた対話管理手法
- FPGAによる並列計算機用2次元ネットワークの実機評価システム(システムアーキテクチャ)
- FPGAによる並列計算機用ネットワークの実機評価システム(ネットワーク,SWoPP2006)
- カラー動画像からのオプティカルフロー検出に関する検討
- 密結合マルチプロセッサ上でのFGHC処理系の実現
- 密結合マルチプロセッサ上でのFGHC処理系の実現
- 結合の故障がホップフィールド型連想記憶の性能に及ぼす影響について
- 複合類推による物理現象の理論形成
- 2次元巡回形ディジタルフィルタの周波数領域における一設計法
- PC-FPGA複合クラスタにおけるゲートウェイと遠隔呼出し機構(マルチFPGAシステム,FPGA応用及び一般)
- PC-FPGA複合クラスタにおけるゲートウェイと遠隔呼出し機構(マルチFPGAシステム,FPGA応用及び一般)
- PC-FPGA複合クラスタにおけるゲートウェイと遠隔呼出し機構(マルチFPGAシステム,FPGA応用及び一般)
- 群衆の映像における人数の自動計測について
- A Canonical Minimal Realization Algorithm for Bilinear Systems
- A Canonical Form and Minimal Canonical Realization for Bilinear Systems
- SYSTEM IDENTIFICATION BY MODIFIED GRADIENT METHOD
- PCクラスタのためのネットワークカードの設計
- MPIを対象とする自動並列化コンパイラ : プロトタイプ開発とその評価
- 分散メモリ型並列計算機を対象とする並列化トランスレータ
- FPGA を利用した画像処理ボードの開発
- 2次元状態空間モデルによるあるクラスの分布定数系のモデリング
- 分母分離形2次元伝達関数の平衡実現
- 2次元システムに対する逆システムの構成
- 分母分離形2次元伝達関数からの正準形実現
- 1次元動的補償器による2次元モデル適合問題
- 対話プランニングにおける複数事例適合メカニズムについて
- 概念束を用いた選言概念の逐次的学習
- 典型性に基づく概念学習アルゴリズム
- ワークステーション応用研究分科会活動報告
- ワークステーション応用研究分科会活動報告
- ワークステーション応用研究分科会活動報告
- Fornasini-Marchesinモデルを用いた2次元ディジタルフィルタの設計
- Prologへの並列化述語dosimの導入
- 2次元ディジタルフィルタのリアプノフ安定性
- 対称性をもつ3次元巡回形ディジタルフィルタの設計
- Fornasini-Marchesiniモデルに基づく2次元巡回形ディジタルフィルタの丸め誤差の解析と最適構成
- 2次元ディジタルフィルタの平衡実現と感度最小構造
- MPI環境を対象とした自動並列化コンパイラの研究
- PC-FPGA複合クラスタにおける部分再構成とその応用(GPUとHPC,FPGA応用及び一般)
- PC-FPGA複合クラスタにおける部分再構成とその応用(GPUとHPC,FPGA応用及び一般)
- PC-FPGA複合クラスタにおける部分再構成とその応用(GPUとHPC,FPGA応用及び一般)
- PC-FPGA複合クラスタにおける部分再構成とその応用
- PC-FPGA複合クラスタにおける部分再構成とその応用
- PC-FPGA複合クラスタにおける部分再構成とその応用
- BCプロセッサアレイによる連立1次方程式の軸選択消去計算
- PC-FPGA複合クラスタの実現と評価(計算機システム)