Результати пошуку - Pogorilyy, Sergiy
- Показ 1 - 2 результатів із 2
-
1
-
2
Метод семантичної верифікації застосувань у технології GPGPU за авторством Kryvyi, Serhii L., Pogorilyy, Sergiy D., Slynko, Maksym S., Kramov, Artem A.
Опубліковано 2020
Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
AdamW algorithm
AdamW-алгоритм
CUDA
GRU layer
GRU-шар
General Purpose Graphics Computing (GPGPU)
GitHub REST API
MLP
Petri net
RNN
change description
commit message
graphical processing units (GPU)
harmonic mean
model design
repository
software
source code
transition system
version control system
ПЗ
вихідний текст програми
графические вычисления общего назначения (GPGPU)
графические процессоры (GPU)
графічні обчислення загального призначення (GPGPU)
графічні процесори (GPU)
мережа Петрі
побудова моделі
повідомлення про внесені зміни
построение модели