Kryvyi, S. L.Pogorilyy, S. D.Slynko, M. S.Kramov, A. A.2022-05-062022-05-062020Method of semantic application verification in gpgpu technology / S. L. Kryvyi, S. D. Pogorilyy, M. S. Slynko, A. A. Kramov // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2020. – № 3. – С. 7-22. – Бібліогр.: 11 назв.https://ela.kpi.ua/handle/123456789/47201ukCUDAgraphical processing units (GPU)General Purpose Graphics Computing (GPGPU)transition systemPetri netmodel designMethod of semantic application verification in gpgpu technologyArticleС. 7-22https://doi.org/10.20535/SRIT.2308-8893.2020.3.01004.4