Формалізований метод проектування застосувань в технології GPGPU
Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в ар...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2018 |
Автори: | , , |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2018
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/144578 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | Формалізований метод проектування застосувань в технології GPGPU / С.Л. Кривий, С.Д. Погорілий, М.С. Слинько // Проблеми програмування. — 2018. — № 2-3. — С. 12-20. — Бібліогр.: 7 назв. — укр. |