Contents of Report

[Data of Report]

Report Number:: TR0042
Date of Registration:: 1984.01
English Title:: An Approach to a Parallel Inference Machine Based on Control-Driven and Data-Driven Mechanisms
Japanese Title:: ***
English Author:: R.Onai,M.Asoh,A.Takeuchi
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0042.pdf

1	Introduction	.... 2
1.1	PIM-F is a Distributed Computer System	.... 2
1.2	Partial Copy Strategy is Adopted	.... 3
1.3	PIM-F Adopts a Control-driven Mechanism As The Basic Execution Mechanism	.... 3
1.4	PIM-F Adopts a Data-driven Mechanism As a Synchronization Mechanism for Concurrent Processes	.... 3
2	PIM-F Computation Model	.... 5
2.1	Non-Guard World	.... 5
2.2	Guard World	.... 7
3	PIM-F Architecture	.... 10
3.1	Process Pool Unit(PPU)	.... 11
3.2	Unification Unit(UU)	.... 17
3.3	Structure Memory Unit(SMU)	.... 19
4	Sample Program Execution	.... 19
4.1	An Example of Prolog	.... 19
4.2	An Example of Concurrent Prolog	.... 23
5	Concluding Remarks	.... 25
	References	.... 26
	End	.... 27

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