Формалізований метод проектування застосувань в технології GPGPU
The method of researching systems with high-performance computing support, based on the transition systems apparatus (discrete computational model), is proposed. Two variants of synchronous product limitations of transition systems that model tha Nvidia CUDA approach are proposed. transition systems...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2018 |
Автори: | Kryvyi, S.L., Pogorilyy, S.D., Slynko, M.C. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2018
|
Теми: | |
Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/258 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Репозиторії
Problems in programmingСхожі ресурси
-
Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2018) -
Метод семантичної верифікації застосувань у технології GPGPU
за авторством: Kryvyi, Serhii L., та інші
Опубліковано: (2020) -
ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
за авторством: Зименко, Андрей Евгеньевич, та інші
Опубліковано: (2008) -
Керування ресурсами хмарних центрів обробки даних на основі евристичного пошуку
за авторством: Zharikov, E.V.
Опубліковано: (2018) -
Використання методів алгебраїчного програмування для формальної перевірки правових документів
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)