інтернет-адреса сторінки:
http://jnas.nbuv.gov.ua/article/UJRN-0000030118
Кибернетика и системный анализ А - 2019 /
Випуск (2011, Т. 47, № 4)
Андон Ф. И., Дорошенко А. Е., Жереб К. А.
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебричного програмування і алгебро-динамічних моделей програм з використанням техніки переписувальних правил, для автоматизованої розробки ефективних програм для графічних прискорювачів. Розроблені формальні засоби проілюстровано на конкретних задачах, що демонструють високу ефективність перетворень.
Бібліографічний опис:
Андон Ф. И., Дорошенко А. Е., Жереб К. А. Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители. Кибернетика и системный анализ. 2011. Т. 47, № 4. С. 176-187. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000030118