Булевы модели и методы планирования параллельных абстрактных программ

Предложена новая формулировка задачи построения параллельных асинхронных абстрактных программ требуемой длины в параллельных вычислительных системах. Условия задачи планирования представлены в виде системы булевых уравнений (ограничений), решения которой определяют возможные планы активизации программных модулей, спецификации которых размещены в базе знаний планировщика. Учитываются ограничения на число процессоров и временные задержки, возникающие при исполнении программных модулей.