Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил

• Published in: Проблеми програмування
• Date: 2020
• Main Author: Іваненко, П.А.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2020
• Subjects: Методи машинного навчання
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/180483
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр.

У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлен...