Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил
У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлен...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Інститут програмних систем НАН України
2020
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/180483 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-180483 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1804832021-09-30T01:26:47Z Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Іваненко, П.А. Методи машинного навчання У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил. В работе представлен подход к проверке корректности оптимизационных преобразований параллельных программ, выполняемых автотьюнером. Автотьюнер рассматривается как эволюционная дискретная динамическая система, а проверка корректности сводится к проверке свойству эквивалентности по результату интерпретаций исходной и оптимизированной программ в формальной модели автотьюнинга. Эту проверку в частных случаях можно выполнять автоматически по исходному коду программы с помощью техники переписывающих правил. Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in autotuning formal model. In partial cases this validation can be done automatically using source code and rewriting rules technique. 2020 Article Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. 1727-4907 DOI: https://doi.org/10.15407/pp2020.02-03.368 http://dspace.nbuv.gov.ua/handle/123456789/180483 004.4`2 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| topic |
Методи машинного навчання Методи машинного навчання |
| spellingShingle |
Методи машинного навчання Методи машинного навчання Іваненко, П.А. Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Проблеми програмування |
| description |
У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил. |
| format |
Article |
| author |
Іваненко, П.А. |
| author_facet |
Іваненко, П.А. |
| author_sort |
Іваненко, П.А. |
| title |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_short |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_full |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_fullStr |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_full_unstemmed |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| title_sort |
про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2020 |
| topic_facet |
Методи машинного навчання |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/180483 |
| citation_txt |
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT ívanenkopa proanalízkorektnostíavtotʹûnínguprogramzvikoristannâmtehníkiperepisuvalʹnihpravil |
| first_indexed |
2023-10-18T22:50:06Z |
| last_indexed |
2023-10-18T22:50:06Z |
| _version_ |
1796156558393999360 |