Показ
1 - 1
результатів із
1
для пошуку '
Kryvyi, Serhii L.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Знайти
Розширений
Автор
Kryvyi, Serhii L.
Показ
1 - 1
результатів із
1
для пошуку '
Kryvyi, Serhii L.
'
, час виконання запиту: 0.00сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Метод семантичної верифікації застосувань у технології GPGPU
за авторством
Kryvyi, Serhii L.
,
Pogorilyy, Sergiy D.
,
Slynko, Maksym S.
,
Kramov, Artem A.
Опубліковано 2020
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
CUDA
General Purpose Graphics Computing (GPGPU)
Petri net
graphical processing units (GPU)
model design
transition system
графические вычисления общего назначения (GPGPU)
графические процессоры (GPU)
графічні обчислення загального призначення (GPGPU)
графічні процесори (GPU)
мережа Петрі
побудова моделі
построение модели
сеть Петри
транзиционная система
транзиційна система