Contents of Report

[Data of Report]

Report Number:: TR0868
Date of Registration:: 1994.04
English Title:: ***
Japanese Title:: モデル生成型定理証明器MGTPの並列化方式
English Author:: R.Hasegawa,M.Koshimura
Japanese:: 長谷川隆三,越村三幸
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0868.pdf

[Contents]

	概要	.... 2
1	まえがき	.... 2
2	モデル生成法	.... 3
3	MGTPの基本構造	.... 4
3.1	モデル生成アルゴリズム	.... 4
3.2	連言照合における冗長性の除去	.... 4
3.3	MGTPの処理構造	.... 5
4	MGTPの並列化	.... 6
5	OR並列化方式	.... 7
6	AND並列化方式	.... 8
6.1	設計指針	.... 8
6.2	負荷分散	.... 9
6.3	粒度	.... 9
6.4	並列性阻害要因	.... 10
6.5	AND並列化方式概要	.... 11
6.6	KL1コーディング技術	.... 12
7	実行結果	.... 14
7.1	OR並列化	.... 14
7.2	AND並列化	.... 14
8	おわりに	.... 15
	参考文献	.... 15
	End	.... 16

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

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