Дорошенко, А.Е.; Жереб, К.А.
(2010)
Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники ...