Формальні методи автоматизації проектування паралельних програм

ЗаголовокФормальні методи автоматизації проектування паралельних програм
Тип публікаціїJournal Article
Рік публікації2020
АвториДорошенко, АЮ, Яценко, ОА
Abbreviated Key TitleDopov. Nac. akad. nauk Ukr.
DOI10.15407/dopovidi2020.06.015
Номер видання6
РозділІнформатика та кібернетика
Нумерація сторінок15-20
Дата публікації6/2020
МоваАнглійська
Анотація

Запропоновані формальні методи та інструментальні засоби автоматизованого проектування та синтезу паралельних програм. Розроблені засоби використовують мову, яка ґрунтується на системах алгоритмічних алгебр Глушкова і орієнтована на високорівневе та природно-лінгвістичне подання алгоритмів, а також застосовують техніку переписувальних правил для трансформації програм. Особливістю розробленого інструментарію є також використання методу проектування синтаксично правильних схем алгоритмів, який виключає можливість виникнення помилок у процесі побудови специфікацій алгоритмів та програм. Підхід проілюстровано на розробці паралельної програми чисельного інтегрування задачі N тіл, призна ченої для виконання на графічному прискорювачі.

Ключові словаавтоматизоване проектування, алгебра алгоритмів, графічний прискорювач, паралельні обчислення, переписування термів, формальні методи