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

Метод семантичної верифікації застосувань у технології 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)

Ступені порівняння прикметників і прислівників. синтез і розпізнавання в тексті парадигматичних класів англійських прикметників та прислівників
за авторством: Дембіцький, В.
Опубліковано: (2006)

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

Тыпалогія семантычных пераўтварэнняў тэкстаў
за авторством: Прыстаўка, А.
Опубліковано: (2006)

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

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

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

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)

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

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

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

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

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)

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

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

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

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

Системы Grid-вычислений — перспектива для научных исследований
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2005)

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

Діагностичні підходи до верифікації глюкометаболічних категорій: еволюція поглядів
за авторством: Ащеулова, Т.В., та інші
Опубліковано: (2016)

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

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