Заголовок | Формальні методи автоматизації проектування паралельних програм |
Тип публікації | Journal Article |
Рік публікації | 2020 |
Автори | Дорошенко, АЮ, Яценко, ОА |
Abbreviated Key Title | Dopov. Nac. akad. nauk Ukr. |
DOI | 10.15407/dopovidi2020.06.015 |
Номер видання | 6 |
Розділ | Інформатика та кібернетика |
Нумерація сторінок | 15-20 |
Дата публікації | 6/2020 |
Мова | Англійська |
Анотація | Запропоновані формальні методи та інструментальні засоби автоматизованого проектування та синтезу паралельних програм. Розроблені засоби використовують мову, яка ґрунтується на системах алгоритмічних алгебр Глушкова і орієнтована на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм. Особливістю розробленого інструментарію є також використання методу проектування синтаксично правильних схем алгоритмів, який виключає можливість виникнення помилок у процесі побудови специфікацій алгоритмів та програм. Підхід проілюстровано на розробці паралельної програми чисельного інтегрування задачі N тіл, призна ченої для виконання на графічному прискорювачі. |
Ключові слова | автоматизоване проектування, алгебра алгоритмів, графічний прискорювач, паралельні обчислення, переписування термів, формальні методи |