Method of semantic application verification in gpgpu technology
Вантажиться...
Дата
2020
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Опис
Ключові слова
CUDA, graphical processing units (GPU), General Purpose Graphics Computing (GPGPU), transition system, Petri net, model design
Бібліографічний опис
Method of semantic application verification in gpgpu technology / S. L. Kryvyi, S. D. Pogorilyy, M. S. Slynko, A. A. Kramov // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2020. – № 3. – С. 7-22. – Бібліогр.: 11 назв.