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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2014
Автори:	Pogorilyy, S. D., Vereshchynsky, O. A., Vitel, D. Yu.
Формат:	Стаття
Мова:	Українська
Опубліковано:	The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2014
Онлайн доступ:	http://journal.iasa.kpi.ua/article/view/37424
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	System research and information technologies

Репозитарії

System research and information technologies

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

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

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

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

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

Software development tools using GPGPU potentialities
за авторством: Dudnik, V.A., та інші
Опубліковано: (2011)

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

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

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

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

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

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

Новітні архітектури відеоадаптерів. Технологія GPGPU. Частина 1
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2012)

Новітні архітектури відеоадаптерів. Технологія GPGPU. Частина 2
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2013)

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

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

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

Using of new possibilities of fermi architecture by development of GPGPU programs
за авторством: Dudnik, V.A., та інші
Опубліковано: (2013)

ОСОБЛИВОСТІ ФОРМАЛІЗАЦІЇ ЕФЕКТИВНОСТІ МОДЕЛЕЙ ЗМІННОГО (ГНУЧКОГО) ТОРГОВОГО ПІДПРИЄМНИЦТВА
за авторством: Поневач, А. I.
Опубліковано: (2023)