Іваненко П. А. Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П. А. Іваненко // Проблеми програмування. - 2020. - N 2/3 (спец. вип.). - С. 368-374. - Бібліогр.: 9 назв. - укp.
Запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглянyто як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил.
Шифр НБУВ: Ж69331Пошук видання у каталогах НБУВ Повний текст Наукова періодика УкраїниДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"