Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил
У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлен...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2020 |
Автор: | Іваненко, П.А. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2020
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/180483 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил / П.А. Іваненко // Проблеми програмування. — 2020. — № 2-3. — С. 368-374. — Бібліогр.: 9 назв. — укр. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Побудова діагностичної експертно-медичної системи з використанням нейронних мереж
за авторством: Глибовець, М.М., та інші
Опубліковано: (2020) -
Автоматизовані методи оцінки когерентності україномовних текстів з використанням методології машинного навчання
за авторством: Крамов, А.А., та інші
Опубліковано: (2020) -
Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж
за авторством: Андон, П.І., та інші
Опубліковано: (2020) -
Відтворення казуальних моделей з даних. Проблеми адекватності структур з прихованими причинами
за авторством: Балабанов, О.С.
Опубліковано: (2020) -
The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar
за авторством: Kosovets, M., та інші
Опубліковано: (2020)