Cover Image

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

We justify the necessity of providing formalized methods for designing GPGPU algorithms, implementing them in software, and studying the fine structure of programs for massively parallel systems that contain video cards. Four approaches for designing applications for GPGPU technology were considered...

Full description

Saved in:

Bibliographic Details
Date:	2014
Main Authors:	Pogorilyy, S. D., Vereshchynsky, O. A., Vitel, D. Yu.
Format:	Article
Language:	Ukrainian
Published:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2014
Online Access:	http://journal.iasa.kpi.ua/article/view/37424
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	System research and information technologies

Institution

System research and information technologies

Similar Items

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

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

Метод семантичної верифікації застосувань у технології GPGPU
by: Kryvyi, Serhii L., et al.
Published: (2020)

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

Modern Videoadapter Architectures. GPGPU Technology (Part 1)
by: Pogorilyy, S. D, et al.
Published: (2012)

Modern Videoadapter Architectures. GPGPU Technology (Part 2)
by: Pogorilyy, S. D., et al.
Published: (2013)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Використання мереж Петрі для проектування паралельних застосувань
by: Погорілий, С.Д., et al.
Published: (2013)

Проектування та модельне обґрунтування застосувань на основі відеоадаптерів
by: Погорілий, С.Д., et al.
Published: (2018)

Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)

Створення методики проектування застосувань для програмно-апаратної платформи CUDA
by: Погорілий, С.Д., et al.
Published: (2013)

Швидке розроблення застосувань в адаптивній технології SMARTBASE
by: Теленик, С.Ф., et al.
Published: (2006)

Research and development of Johnson's algorithm parallel schemes in GPGPU technology
by: Pogorilyy, S.D., et al.
Published: (2018)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

Дослідження шаблонів синхронізації та їх використання в технології GPGPU
by: Погорілий, С.Д., et al.
Published: (2014)

Сучасна дефініція категорії «діагностики фінансового стану підприємства»: основні підходи до її формалізації
by: Єфременко, Г.С., et al.
Published: (2014)

Research of the application of GPGPU and TPU technologies for ensuring comment quality in version control systems
by: Semonov, B.O., et al.
Published: (2025)

Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU
by: Погорілий, С.Д., et al.
Published: (2016)

Загальні методичні підходи до формалізації екологічних обмежень та вимог при прогнозуванні розвитку електроенергетичного комплексу
by: Nechaieva T.P.
Published: (2009)

До формалізації та класифікації задач комбінаторної оптимізації
by: Гуляницький, Л.Ф.
Published: (2008)

До формалізації задач комбінаторної оптимізації на нечітких множинах
by: Гуляницький, Л.Ф., et al.
Published: (2016)

Підхід до створення Web-застосувань на компонентній основі
by: Грищенко, В.М.
Published: (2004)

До формалізації даних поховального обряду для аналізу на ЕОМ
by: Ніколова, А.В., et al.
Published: (1993)

Сучасні концепції формалізації фінансової стратегії банку
by: Матвієнко, С.
Published: (2010)

Transition systems as method of designing applications in GPGPU technology
by: S. L. Kryvyi, et al.
Published: (2018)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

До питання формалізації інвайронментального виміру сталого соціально-економічного розвитку суспільства
by: Багров, М.В., et al.
Published: (2008)

Загальна організація використання інформаційної технології автоматизованого проектування образу книжкового видання
by: Бабинець, Б.Є.
Published: (2010)

Software development tools using GPGPU potentialities
by: Dudnik, V.A., et al.
Published: (2011)

Фреймворк для розробки високорівневих Grid-застосувань
by: Пріла, О.А.
Published: (2014)

Алгебраїчний підхід у формалізації вразливостей в бінарному коді
by: Летичевський, О.О., et al.
Published: (2019)

Небезпека федералізаціїї та формалізації для регіонального рівня
by: Іжа, М.М.
Published: (2009)

Елементи формалізації синтезу управлінської інфраструктури загальнодержавного рівня
by: Golyshev, L. K.
Published: (2018)

Архітектура побудови віртуального оточення для грід-застосувань
by: Казимир, В.В., et al.
Published: (2017)

Логічний наслідок та його формалізації в композиційно-номінативних логіках
by: Шкільняк, С.С.
Published: (2012)

ОСОБЛИВОСТІ ФОРМАЛІЗАЦІЇ ЕФЕКТИВНОСТІ МОДЕЛЕЙ ЗМІННОГО (ГНУЧКОГО) ТОРГОВОГО ПІДПРИЄМНИЦТВА
by: Поневач, А. I.
Published: (2023)

Проблеми формалізації задач комбінаторної оптимізації на нечітких множинах
by: Рясна, І.І.
Published: (2018)

Корпоративний сектор чорної металургії: проблеми становлення та формалізації
by: Молдован, О.О.
Published: (2009)

Новітні архітектури відеоадаптерів. Технологія GPGPU. Частина 1
by: Погорілий, С.Д., et al.
Published: (2012)

Новітні архітектури відеоадаптерів. Технологія GPGPU. Частина 2
by: Погорілий, С.Д., et al.
Published: (2013)