Підходи до формалізації проектування застосувань в технології 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...
Saved in:
| 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 technologiesSimilar Items
Підходи до формалізації проектування застосувань в технології GPGPU
by: Погорілий, С.Д., et al.
Published: (2014)
by: Погорілий, С.Д., et al.
Published: (2014)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Метод семантичної верифікації застосувань у технології GPGPU
by: Kryvyi, Serhii L., et al.
Published: (2020)
by: Kryvyi, Serhii L., et al.
Published: (2020)
Принципи проектування GPGPU-застосувань на основі мереж Петрі
by: Погорілий, С.Д., et al.
Published: (2014)
by: Погорілий, С.Д., et al.
Published: (2014)
Modern Videoadapter Architectures. GPGPU Technology (Part 1)
by: Pogorilyy, S. D, et al.
Published: (2012)
by: Pogorilyy, S. D, et al.
Published: (2012)
Modern Videoadapter Architectures. GPGPU Technology (Part 2)
by: Pogorilyy, S. D., et al.
Published: (2013)
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: Pogorilyy, S.D., et al.
Published: (2025)
Використання мереж Петрі для проектування паралельних застосувань
by: Погорілий, С.Д., et al.
Published: (2013)
by: Погорілий, С.Д., et al.
Published: (2013)
Створення методики проектування застосувань для програмно-апаратної платформи CUDA
by: Погорілий, С.Д., et al.
Published: (2013)
by: Погорілий, С.Д., et al.
Published: (2013)
Research of the synchronization patterns and their use in GPGPU
by: Pogorilyy, S.D., et al.
Published: (2025)
by: Pogorilyy, S.D., et al.
Published: (2025)
Research and development of Johnson's algorithm parallel schemes in GPGPU technology
by: Pogorilyy, S.D., et al.
Published: (2018)
by: Pogorilyy, S.D., et al.
Published: (2018)
Дослідження шаблонів синхронізації та їх використання в технології GPGPU
by: Погорілий, С.Д., et al.
Published: (2014)
by: Погорілий, С.Д., et al.
Published: (2014)
Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)
by: Kryvyi, S.L., et al.
Published: (2018)
Загальні методичні підходи до формалізації екологічних обмежень та вимог при прогнозуванні розвитку електроенергетичного комплексу
by: Nechaieva T.P.
Published: (2009)
by: Nechaieva T.P.
Published: (2009)
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)
by: Semonov, B.O., et al.
Published: (2025)
До формалізації задач комбінаторної оптимізації на нечітких множинах
by: Гуляницький, Л.Ф., et al.
Published: (2016)
by: Гуляницький, Л.Ф., et al.
Published: (2016)
Сучасні концепції формалізації фінансової стратегії банку
by: Матвієнко, С.
Published: (2010)
by: Матвієнко, С.
Published: (2010)
Елементи формалізації синтезу управлінської інфраструктури загальнодержавного рівня
by: Golyshev, L. K.
Published: (2018)
by: Golyshev, L. K.
Published: (2018)
Transition systems as method of designing applications in GPGPU technology
by: S. L. Kryvyi, et al.
Published: (2018)
by: S. L. Kryvyi, et al.
Published: (2018)
Логічний наслідок та його формалізації в композиційно-номінативних логіках
by: Шкільняк, С.С.
Published: (2012)
by: Шкільняк, С.С.
Published: (2012)
Архітектура побудови віртуального оточення для грід-застосувань
by: Казимир, В.В., et al.
Published: (2017)
by: Казимир, В.В., et al.
Published: (2017)
Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)
by: Pogorilyy, S.D., et al.
Published: (2025)
Software development tools using GPGPU potentialities
by: Dudnik, V.A., et al.
Published: (2011)
by: Dudnik, V.A., et al.
Published: (2011)
Проблеми формалізації задач комбінаторної оптимізації на нечітких множинах
by: Рясна, І.І.
Published: (2018)
by: Рясна, І.І.
Published: (2018)
ОСОБЛИВОСТІ ФОРМАЛІЗАЦІЇ ЕФЕКТИВНОСТІ МОДЕЛЕЙ ЗМІННОГО (ГНУЧКОГО) ТОРГОВОГО ПІДПРИЄМНИЦТВА
by: Поневач, А. I.
Published: (2023)
by: Поневач, А. I.
Published: (2023)
Напрями формалізації поняття «соціальна орієнтація економіки» та його застосування
by: Вишневський, О.С.
Published: (2010)
by: Вишневський, О.С.
Published: (2010)
Новітні архітектури відеоадаптерів. Технологія GPGPU. Частина 1
by: Погорілий, С.Д., et al.
Published: (2012)
by: Погорілий, С.Д., et al.
Published: (2012)
Новітні архітектури відеоадаптерів. Технологія GPGPU. Частина 2
by: Погорілий, С.Д., et al.
Published: (2013)
by: Погорілий, С.Д., et al.
Published: (2013)
Ланцюговий підхід до проектування бурових доліт
by: Ігнатов, А.О., et al.
Published: (2010)
by: Ігнатов, А.О., et al.
Published: (2010)
Research and development of Johnson's algorithm parallel schemes in GPGPU technology
by: S. D. Pohorilyi, et al.
Published: (2016)
by: S. D. Pohorilyi, et al.
Published: (2016)
Using of new possibilities of fermi architecture by development of GPGPU programs
by: Dudnik, V.A., et al.
Published: (2013)
by: Dudnik, V.A., et al.
Published: (2013)
Аналіз блокчейн-транзакцій: комплексний огляд застосувань, завдань та методів
by: Dorogyy, Yaroslaw, et al.
Published: (2023)
by: Dorogyy, Yaroslaw, et al.
Published: (2023)
Онтологічний підхід до проектування автоматизованих навчаючих систем
by: Зінченко, В.П., et al.
Published: (2009)
by: Зінченко, В.П., et al.
Published: (2009)
ДО ПИТАННЯ ПРОЕКТУВАННЯ БУРОВОГО АЛМАЗНОГО ПОРОДОРУЙНІВНОГО ІНСТРУМЕНТУ
by: Попова, М.С.
Published: (2020)
by: Попова, М.С.
Published: (2020)
Розробка алгоритмів прискореного обчислення елементів рекурентних послідовностей для криптографічних застосувань
by: Яремчук, Ю.Є.
Published: (2013)
by: Яремчук, Ю.Є.
Published: (2013)
Екосистемний підхід до визначення збитків від забруднення водних ресурсів з урахуванням напрямів формалізації їх вартісного виміру
by: Колмакова, В.М.
Published: (2018)
by: Колмакова, В.М.
Published: (2018)
Про український слід в історії відкриття, досліджень та сучасних застосувань рідких кристалів
by: Лисецький, Л., et al.
Published: (2011)
by: Лисецький, Л., et al.
Published: (2011)
Проектування систем відеоспостереження
by: Abdulhamid, Mohanad, et al.
Published: (2019)
by: Abdulhamid, Mohanad, et al.
Published: (2019)
Зв’язок діючих нормативних документів та математичних методів формалізації підготовки льотного складу
by: Савінов, О.М.
Published: (2011)
by: Савінов, О.М.
Published: (2011)
Дослідження застосувань нанотекстурованого сапфіру як темплету при MOCVD-гетероепітаксії ІІІ-нітридів
by: Суховій, Н.О., et al.
Published: (2018)
by: Суховій, Н.О., et al.
Published: (2018)
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)