Formal synthesis of parallel programs for high-efficiency VLIW-processors

В статье рассматривается технология формализованного синтеза параллельных программ для VLIW-процессоров, обеспечивающая учет временных характеристик операций, конфигурацию процессоров и систему требований (ограничений) к временным характеристикам выполнения программ.Розглядається технологія формалізованого синтезу паралельних програм для VLIW-процесорів, що забезпечує облік тимчасових характеристик операцій, конфігурацію процесорів і систему вимог (обмежень) до тимчасових характеристик виконання програм.In article the technology of the formalized synthesis of parallel programs for the VLIW-processors, providing the account of time characteristics of operations, a configuration of processors and system of requirements to time characteristics of performance of programs is considered