1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 8(66)'2007
  5. Формальний синтез паралельних програм для високопродуктивних VLIW-процесорів

Формальний синтез паралельних програм для високопродуктивних VLIW-процесорів

Г.О. Поляков, О.Г. Толстолузька
Анотації на мовах:

Розглядається технологія формалізованого синтезу паралельних програм для VLIW-процесорів, що забезпечує облік тимчасових характеристик операцій, конфігурацію процесорів і систему вимог (обмежень) до тимчасових характеристик виконання програм.