Method of semantic application verification in gpgpu technology

dc.contributor.authorKryvyi, S. L.
dc.contributor.authorPogorilyy, S. D.
dc.contributor.authorSlynko, M. S.
dc.contributor.authorKramov, A. A.
dc.date.accessioned2022-05-06T14:56:29Z
dc.date.available2022-05-06T14:56:29Z
dc.date.issued2020
dc.description.abstractenAn 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 Petri net, which are then analyzed by appropriate means. The proposed method allows specifying model properties by temporal logic formulas. This allows studying the properties of massively parallel systems which is almost impossible to analyze manually, since the number of execution threads in the latest NVIDIA video adapter architectures (Pascal, Volta, Turing, Ampere) is measured in hundreds of thousands or millions.uk
dc.format.pagerangeС. 7-22uk
dc.identifier.citationMethod of semantic application verification in gpgpu technology / S. L. Kryvyi, S. D. Pogorilyy, M. S. Slynko, A. A. Kramov // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2020. – № 3. – С. 7-22. – Бібліогр.: 11 назв.uk
dc.identifier.doihttps://doi.org/10.20535/SRIT.2308-8893.2020.3.01
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/47201
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.publisher.placeКиївuk
dc.sourceСистемні дослідження та інформаційні технології : міжнародний науково-технічний журнал, № 3uk
dc.subjectCUDAuk
dc.subjectgraphical processing units (GPU)uk
dc.subjectGeneral Purpose Graphics Computing (GPGPU)uk
dc.subjecttransition systemuk
dc.subjectPetri netuk
dc.subjectmodel designuk
dc.subject.udc004.4uk
dc.titleMethod of semantic application verification in gpgpu technologyuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Вантажиться...
Ескіз
Назва:
2020_3_7-22.pdf
Розмір:
327.87 KB
Формат:
Adobe Portable Document Format
Опис:
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.1 KB
Формат:
Item-specific license agreed upon to submission
Опис: