Transition systems as method of designing applications in GPGPU technology
Збережено в:
Дата: | 2018 |
---|---|
Автори: | S. L. Kryvyi, S. D. Pohorilyi, M. S. Slynko |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
2018
|
Назва видання: | Problems in programming |
Онлайн доступ: | http://jnas.nbuv.gov.ua/article/UJRN-0000882034 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Репозиторії
Library portal of National Academy of Sciences of Ukraine | LibNASСхожі ресурси
-
Research and development of Johnson's algorithm parallel schemes in GPGPU technology
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2016) -
Design and Model Justification of GPU-Based Applications
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2018) -
Modeling and verification methods for application design in heterogeneous architectures
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2020) -
Формалізований метод проектування застосувань в технології GPGPU
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018) -
Метод семантичної верифікації застосувань у технології GPGPU
за авторством: Kryvyi, Serhii L., та інші
Опубліковано: (2020)