Зображення обкладинки

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

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...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	Kryvyi, Serhii L., Pogorilyy, Sergiy D., Slynko, Maksym S., Kramov, Artem A.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2020
Теми:	CUDA графічні процесори (GPU) графічні обчислення загального призначення (GPGPU) транзиційна система мережа Петрі побудова моделі
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/213203
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

Схожі ресурси

Transition systems as method of designing applications in GPGPU technology
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Комп'ютерне моделювання процесу паралельного оброблення зображень на основі технологій Openmp та Nvidia Cuda
за авторством: Яровий, А. А., та інші
Опубліковано: (2016)

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2018)

АНАЛІТИЧНІ АСПЕКТИ РЕАЛІЗАЦІЇ СИСТЕМ З ОБРОБЛЕННЯ БІОМЕДИЧНИХ ЗОБРАЖЕНЬ НА ОСНОВІ ВІДЕОГРАФІЧНИХ ТЕХНОЛОГІЙ
за авторством: Кожем'яко, В. П., та інші
Опубліковано: (2013)

Таблично-алгоритмічний метод для антиаліайзингу зображення відрізків прямих
за авторством: Башков, Є.О., та інші
Опубліковано: (2023)

Підходи до формалізації проектування застосувань в технології GPGPU
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2014)

Research of the application of GPGPU and TPU technologies for ensuring comment quality in version control systems
за авторством: Semonov, B.O., та інші
Опубліковано: (2025)

Парадигматичні класи іменника англійської мови (категорії числа: аналіз та синтез)
за авторством: Юзепольська, Т.
Опубліковано: (2006)

Аналіз морфемного складу неологізмів засобами сучасних інформаційних технологій (на основі англійської мови)
за авторством: Карамишева, І., та інші
Опубліковано: (2006)

Алгоритм зняття омонімії типу «іменник-дієслово» в англійській мові та імплементація його в програмному продукті
за авторством: Курстак, С.
Опубліковано: (2006)

Парадигматичні і синтагматичні характеристики прийменникових та безприйменникових дієслівних сполучень
за авторством: Коваль, Н., та інші
Опубліковано: (2006)

Аналіз і синтез перфектних форм англійського дієслова активного стану
за авторством: Ерреро Бікус, Н.
Опубліковано: (2006)

Семантичний потенціал прикметників англійської мови
за авторством: Чаварга, Я.
Опубліковано: (2006)

Формалізований метод проектування застосувань в технології GPGPU
за авторством: Кривий, С.Л., та інші
Опубліковано: (2018)

Інформаційна технологія побудови 3D сцен для віртуальної реальності з підвищеною швидкодією
за авторством: Яровий, Андрій Анатолійович, та інші
Опубліковано: (2019)

Modern Videoadapter Architectures. GPGPU Technology (Part 1)
за авторством: Pogorilyy, S. D, та інші
Опубліковано: (2012)

Принципи проектування GPGPU-застосувань на основі мереж Петрі
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)

Підходи до формалізації проектування застосувань в технології GPGPU
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)

Modern Videoadapter Architectures. GPGPU Technology (Part 2)
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2013)

Використання графічних 3D-зображень облич для експрес-діагностування та побудови біомедичних засобів
за авторством: Романюк, Сергій Олександрович, та інші
Опубліковано: (2022)

ПРОГРАМНА МОДЕЛЬ БАГАТОПОТОКОВОГО ПРОЦЕСОРА НА БАЗІ ГРАФІЧНИХ ПРИСКОРЕНЬ
за авторством: Зименко, Андрей Евгеньевич, та інші
Опубліковано: (2008)

Зв’язок мереж Петрі з бездужковим польським записом
за авторством: Statkevich, Vitaly M.
Опубліковано: (2016)

АНАЛІЗ ОБЧИСЛЮВАЛЬНОЇ СКЛАДНОСТІ GPU-ОРІЄНТОВАНИХ ПАРАЛЕЛЬНО-ІЄРАРХІЧНИХ ОБЧИСЛЮВАЛЬНИХ СИСТЕМ ТА ОЦІНЮВАННЯ ПРОДУКТИВНОСТІ ЇХ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ
за авторством: Яровий, А. А., та інші
Опубліковано: (2014)

Transition systems as method of designing applications in GPGPU technology
за авторством: S. L. Kryvyi, та інші
Опубліковано: (2018)

A GPU-based singular value decomposition algorithm
за авторством: Sukharskyi, S.S.
Опубліковано: (2023)

Research of the synchronization patterns and their use in GPGPU
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Розширення математичного апарату дискретно-неперервних мереж для автоматизації процедур їх синтезу
за авторством: Gurskiy, Alexander, та інші
Опубліковано: (2024)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

МОДЕЛЮВАННЯ ПОВЕДІНКИ РІДИН МЕТОДОМ SPH НА БАЗІ ВІДЕОАДАПТЕРІВ
за авторством: Шаповалова, Светлана Игорович, та інші
Опубліковано: (2012)

Research and development of Johnson&#039;s algorithm parallel schemes in GPGPU technology
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2016)

Планування ресурсів у мережах IoT edge computing з використанням гібридного алгоритму глибокого навчання
за авторством: Vijayasekaran, G., та інші
Опубліковано: (2022)

Операція різниці для регулярних мов мереж Петрі в задачі про постачальника та споживача з обмеженим буфером
за авторством: Statkevych, Vitalii
Опубліковано: (2021)

Метод визначення семантичної зв’язності
за авторством: Никоненко, А.О.
Опубліковано: (2016)

Алгоритми призначення зовнішніх рецензентів для захисту PhD-дисертацій
за авторством: Shtovba, Serhiy, та інші
Опубліковано: (2025)

Parallelization of numerical solutions of shallow water equations by the finite volume method for implementation on multiprocessor systems and graphics processors
за авторством: Sorokin, Maksym V.
Опубліковано: (2023)

Моделювання подій в відеопотоці за допомогою стохастичних мереж Петрі
за авторством: Антощук, С. Г., та інші
Опубліковано: (2014)

Дослідження біометричної верифікації користувача на основі автокодерів з перевірками руху
за авторством: Havrylovych, Mariia, та інші
Опубліковано: (2022)

Дослідження гібридних автокодувальників з використанням трансформерів для біометричної верифікації користувача
за авторством: Havrylovych, Mariia, та інші
Опубліковано: (2023)

Методи моделювання і верифікації для проєктування застосунків у гетерогенних архітектурах
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2020)