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

• Published in: Проблеми програмування
• Date: 2018
• Main Authors: Кривий, С.Л., Погорілий, С.Д., Слинько, М.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2018
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/144578
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр.

Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в ар...