Метод семантичної верифікації застосувань у технології GPGPU

• Дата: 2020
• Автори: Kryvyi, Serhii L., Pogorilyy, Sergiy D., Slynko, Maksym S., Kramov, Artem A.
• Формат: Стаття
• Мова: English
• Опубліковано: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2020
• Теми: CUDA; graphical processing units (GPU); General Purpose Graphics Computing (GPGPU); transition system; Petri net; model design; графічні процесори (GPU); графічні обчислення загального призначення (GPGPU); транзиційна система; мережа Петрі; побудова моделі; графические процессоры (GPU); графические вычисления общего назначения (GPGPU); транзиционная система; сеть Петри; построение модели
• Онлайн доступ: http://journal.iasa.kpi.ua/article/view/213203
• Назва журналу: System research and information technologies

An application development and verification method for massively parallel systems using NVIDIA GPUs is proposed. The method allows creating models at different levels of abstraction using the apparatus of marked transition systems. The compositions (product) of such systems are transformed into a Pe...