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

• Published in: Системні дослідження та інформаційні технології
• Date: 2014
• Main Authors: Погорілий, С.Д., Верещинський, О.А., Вітель, Д.Ю.
• Format: Article
• Language: Ukrainian
• Published: Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України 2014
• Subjects: Прогресивні інформаційні технології, високопродуктивні комп’ютерні системи
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/86111
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр.

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