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

• Veröffentlicht in: Проблеми програмування
• Datum: 2018
• Hauptverfasser: Кривий, С.Л., Погорілий, С.Д., Слинько, М.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2018
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/144578
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр.

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