A variable supply model for distributing deductions

Authors:
Vineet Singh;Michael R. Genesereth
Affiliations:
Computer Science Department, Stanford University, Stanford, CA;Computer Science Department, Stanford University, Stanford, CA
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 6
Cited 0

Form and Content in Computer Science (1970 ACM turing lecture)

Journal of the ACM (JACM)
Ethernet: distributed packet switching for local computer networks

Communications of the ACM
Well structured parallel programs are not easier to schedule

Well structured parallel programs are not easier to schedule
The and/or process model for parallel interpretation of logic programs

The and/or process model for parallel interpretation of logic programs
Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging)

Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging)
Fifth-Generation Computer Systems: A Japanese Project

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multiple processors can be used to speed up a backward-chaining deduction by distributing or-parallel deductions. However, the actual speedup obtained is strongly dependent on the amount of communication required for the task allocation strategy. A Variable Supply Model (VSM) is presented for multiple processors with replicated databases on a broadcast network. The term model refers to the set of procedures and messages required to perform the computation. VSM allows an infinite class of strategies with varying amounts of communication. The utility of VSM lies in the easy and powerful way it provides for selecung a strategy that works satisfactorily given certain communication constraints. All strategies in VSM use a dynamic task supply protocol (ESP) that works better than other supply protocols described in the literature.