Contents of Report


[Data of Report]

Report Number:
TM0176
Date of Registration:
1986.06
English Title:
***
Japanese Title:
並列推論マシンにおける分散型ユニファイア構成法の検討
English Author:
K.Murakami,K.Taki,T.Miyazaki
Japanese:
村上 健一郎,滝 和男,宮崎 敏彦
Name of Organization to which author belongs:
NTT,ICOT,ICOT
PDF:
tm0176.pdf

[Contents]

1はじめに.... 2
2プロセッサモデル.... 2
3計算モデルGHCの概要.... 2
4分散型ユニファイアの基本メカニズム.... 3
5ユニフィケーション処理方式.... 5
6後追いフェイルの実現方式.... 9
7並列推論マシンシミュレータ.... 11
8おわりに.... 13
謝辞.... 13
参考文献.... 13


目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda