Prologへの並列化述語dosimの導入
スポンサーリンク
概要
- 論文の詳細を見る
現在筆者らの研究室では、論理型言語であるPrologに並列計算機能を付加する研究を行っている。密結合型のマルチプロセッサ計算機(Sequent社のBalance8000)上に並列化機能を導入したPrologのインタプリタを実現し、その性能を評価したので報告する。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
関連論文
- 直接マイクロコード生成形コンパイラによるLISPマシンの高速化
- コンパイラ導入による試作LISPマシンの効率改善について
- LISPマシンの試作 : インタプリータの構造とシステムの評価
- LISPマシンの試作 : アーキテクチャとLISP言語の仕様
- 帰納的学習アルゴリズムの特性解析
- マイクロプロセッサアレイによる2次元ディジタルフィルタの実現
- PrologマシンPEKにおける中間コードとその実行方式
- 並列知識ベースマシンのアーキテクチャ
- PrologマシンPEKにおけるProlog中間コードについて
- シーケンシャル実行型PrologマシンPEK : ハードウェア構成
- 分散共有メモリ型超並列計算機の入出力システムとその評価
- 仮想濃度勾配法に用いた時系列画像における動き推定
- 高速通信網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
- 構造化プログラムの日本語ドキュメント作成システム
- 時間系列を伴う例からの抽象化に基づく戦略学習
- 高速シリアルリンクを用いた並列分散入出力システム
- マルチプロセッサシステムPARK上での並列Prolog処理系の実現
- 並列PrologマシンPARK上のProlog処理系の実現について
- ブロードキャストメモリ結合形マルチマイクロプロセッサシステムの試作
- BCプロセッサアレイと高並列マトリクス計算
- マトリクスブロードキャストメモリ結合形並列計算機によるn元連立一次方程式のO(n)時間計算
- 三角錐スリット光投影法による対象平面の距離とその姿勢の計測
- ソフトウェアDSMにおけるコヒーレント・キャッシュシステムの実装と評価
- 神戸大学工学部情報知能工学科前川研究室
- ネットワーク環境における分散共有メモリの実現と評価
- 事例に基づくプランニングを用いた対話管理手法
- カラー動画像からのオプティカルフロー検出に関する検討
- 密結合マルチプロセッサ上でのFGHC処理系の実現
- 密結合マルチプロセッサ上でのFGHC処理系の実現
- 結合の故障がホップフィールド型連想記憶の性能に及ぼす影響について
- 複合類推による物理現象の理論形成
- 2次元巡回形ディジタルフィルタの周波数領域における一設計法
- A Canonical Minimal Realization Algorithm for Bilinear Systems
- A Canonical Form and Minimal Canonical Realization for Bilinear Systems
- SYSTEM IDENTIFICATION BY MODIFIED GRADIENT METHOD
- 2次元状態空間モデルによるあるクラスの分布定数系のモデリング
- 分母分離形2次元伝達関数の平衡実現
- 2次元システムに対する逆システムの構成
- 分母分離形2次元伝達関数からの正準形実現
- 1次元動的補償器による2次元モデル適合問題
- 対話プランニングにおける複数事例適合メカニズムについて
- 概念束を用いた選言概念の逐次的学習
- 典型性に基づく概念学習アルゴリズム
- ワークステーション応用研究分科会活動報告
- ワークステーション応用研究分科会活動報告
- ワークステーション応用研究分科会活動報告
- Fornasini-Marchesinモデルを用いた2次元ディジタルフィルタの設計
- Prologへの並列化述語dosimの導入
- 2次元ディジタルフィルタのリアプノフ安定性
- 対称性をもつ3次元巡回形ディジタルフィルタの設計
- Fornasini-Marchesiniモデルに基づく2次元巡回形ディジタルフィルタの丸め誤差の解析と最適構成
- 2次元ディジタルフィルタの平衡実現と感度最小構造
- 特異値分解による分母分離形3次元ディジタルフィルタの設計
- 多入力出力線形システムの近似問題
- 丸め誤差最小の分母分離形3次元ディジタルフィルタの構成
- An Indentification Method of System Characteristics Using a System Model
- 多変数線形システムの低次元モデルによる近似
- カラ-動画像からのオプティカルフロ-検出に関する検討
- The Effect of Synaptic Disconnection on the Performance of Hopfield Associative Memories