Prolog最適化コンパイラの開発(VII) : 大域最適化コンパイル方式
スポンサーリンク
概要
- 論文の詳細を見る
Prolog処理系開発の課題である(1)Prologの高速処理(2)既存ソフトウェアとのリンケージを解決するために、我々は汎用機に内蔵するPrologマシンと、Prolog専用命令に展開する最適化コンパイラの開発を進めている。レジスタ競合を解消してクローズのコードの最適化を図る方式については、既に文献1,2)で報告したが、本論文では、上記方式を拡張してゴールが決定的な組込述語の場合、それを越えて最適化を図る方式について述べる。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
-
阿部 重夫
(株)日立製作所日立研究所
-
阿部 重夫
日立製作所日立研究所
-
黒沢 憲一
(株)日立製作所日立研究所第8部
-
黒澤 憲一
日立製作所日立研究所
-
黒沢 憲一
日立製作所 日立研究所
-
桐山 薫
日立製作所 日立研究所
-
桐山 薫
(株)日立製作所日立研究所
関連論文
- エレベータの知能群管理方式 : その1: 呼び割当て論理
- スーパミニコン内蔵型ベクトルプロセッサの演算制御方式
- コホーネンネットのフィーチャーマップを利用した配置問題の解法
- ベクトル量子化機能を利用したコホーネンネットによる配置問題の解法
- 学習前にパターン認識用ネットの収束を判定する方法
- パターン認識用ネットからのアルゴリズムの抽出法
- 内蔵型高速PROLOGプロセッサIPP(XII) : システム統合
- 高速内蔵型PrologプロセッサIPPの設計
- エレベータの知能群管理方式 : その2:学習論理
- バス結合型マルチプロセッサ用キャッシュ一致保証方式の性能評価
- 非零対角要素を持つホップフィールドニューラルネットを用いたLSIモジュール配置法
- Prologの最適化方式
- パターン認識用ネットの学習の高速化と汎化能力の向上方式
- パターン認識用ニューラルネットの構築法
- パターン認識用ニューラルネットのチューニング法
- パターン認識用ニューラルネットはいかにして構成できるか?
- 線形回帰分析による多層ニューラルネットの中間層ニューロン数決定方法
- 分散メモリ型マルチプロセッサ用キャッシュ一致保証方式の設計と評価(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- ビジネス向けマルチプロセッササーバにおけるウイークリィオーダメモリモデルの設計と評価
- 汎用エキスパートシステムの高速化技術(III) : 性能評価と分析
- 汎用エキスパートシステムの高速化技術(II) : 推論方式
- 汎用エキスパートシステムの高速化技術(I) : 開発構想
- モード情報を用いたシャローバックトラックの高速化方式
- 内蔵型PrologプロセッサIPPの最適化コンパイル方式の提案と性能評価
- Prolog最適化コンパイラの開発(VII) : 大域最適化コンパイル方式
- Prolog最適化コンパイラの開発(VI) : 大域最適化評価と高速リスト処理命令の提案
- Prolog最適化コンパイラの開発(V) : 構造体のハッシング方式と動的評価
- コンパイル型プロダクションシステムの高速処理方式
- 楕円領域をもつファジィクラシファイアの学習方式
- ファジィ領域の解析による特徴量の選択
- 教師データから抽出したファジィルールのチューニング法
- 汎化能力向上を目的としたクラスタリング用ニューラルネットの学習方式
- クラスタリング用ニューラルネットの学習方式
- 不等式の求解によるファジィルールのチューニング
- 楕円領域の解析による特徴量の選択
- 不等号制約を持つHopfield型ニューラルネットの収束理論
- 教師データから直接抽出したファジィルールによるパターン認識
- 分散メモリ型マルチプロセッサ用キャッシュ一致保証方式の提案と評価
- ホップフィールドネットの積分の高速化方式
- ホップフィールドニューラルネットの重みの決定法とその評価
- 並列順伝播学習方式
- Hopfield型ニューラルネットの理論的考察