Contents of Report

[Data of Report]

Report Number:: TR0905
Date of Registration:: 1995.01
English Title:: ***
Japanese Title:: モデル生成型定理証明系のAND並列化方式
English Author:: ***,***
Japanese:: 越村三幸,長谷川隆三
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0905.pdf

[Contents]

	概要	.... 2
1	まえがき	.... 2
2	モデル生成法	.... 3
3	MGTPのアルゴリズム	.... 4
3.1	遂次アルゴリズム	.... 4
3.2	並列アルゴリズム	.... 5
3.3	閉包計算としてみたMGTPアルゴリズム	.... 7
4	AND並列化方式検討	.... 7
4.1	設計指針	.... 7
4.2	負荷分数	.... 8
5	AND並列化方式	.... 9
5.1	動作概要	.... 9
5.2	実装上の留意点	.... 12
6	PIM上での実験･評価	.... 13
6.1	実験	.... 13
6.2	考察	.... 14
7	むすび	.... 16
	謝辞	.... 16
	参考文献	.... 17

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports