Параметризованный тайлинг: точные аппроксимации и анализ глобальных зависимостей

Исследованы аспекты применения параметризованного тайлинга к алгоритмам, область вычисления которых представима выпуклым многогранником. Разработан метод построения аппроксимаций множества тайлов и сформулированы необходимые и достаточные условия их точности. Получены формулы для определения векторов зависимостей между тайлами. Получено формальное представление множеств итераций, порождающих эти зависимости, в виде многогранников с явным выражением их границ. Библ. 11.