Расписания как решаемые символы: компиляция тайловых программ без настройки на потоковых архитектурах

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