Страница публикации

Planning of parallel abstract programs as Boolean satisfiability

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Oparin G.A., Novopashin A.P.

Журнал: Lecture Notes in Computer Science

Язык публикации: english

Том: 3606

Номера страниц: 206-215

Количество страниц: 10

Год публикации: 2005

Отчетный год: 2005

Аннотация: In this paper 1, a new formulation is proposed for the problem of constructing parallel abstract programs of a required length in parallel computing systems. The conditions of a planning problem are represented as a system of Boolean equations (constraints); whose solutions determine the possible plans for activating the program modules. Specifications of modules are stored in the knowledgebase of the planner. Constraint on number of processors and time delays at execution of modules are taken into account.

Индексируется WOS: Q4

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет