Boolean Models and Planning Methods for Parallel Abstract Programs

摘要

For the parallel computer systems, a new formulation of the problem of constructing parallel asynchronous abstract programs of the desired length was proposed. The conditions for the problem of planning were represented as a system of Boolean equations (constraints) whose solutions define the feasible plans for activation of the program modules specified in the planner's knowledge base. The constraints on the number of processors and time delays arising at execution of the program modules were taken into consideration.