Підходи до формалізації проектування застосувань в технології GPGPU
Обґрунтовано необхідність створення формалізованих методів проектування алгоритмів, їх програмних реалізацій та дослідження тонкої інформаційної структури програм для систем з масовим паралелізмом, які містять відеоадаптери. Запропоновано та обґрунтовано застосування чотирьох підходів до формалізаці...
Збережено в:
| Опубліковано в: : | Системні дослідження та інформаційні технології |
|---|---|
| Дата: | 2014 |
| Автори: | Погорілий, С.Д., Верещинський, О.А., Вітель, Д.Ю. |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Навчально-науковий комплекс "Інститут прикладного системного аналізу" НТУУ "КПІ" МОН та НАН України
2014
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/86111 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Підходи до формалізації проектування застосувань в технології GPGPU / С.Д. Погорілий, О.А. Верещинський, Д.Ю. Вітель // Системні дослідження та інформаційні технології. — 2014. — № 4. — С. 45-59. — Бібліогр.: 14 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Формування узагальнених паралельних схем алгоритму Флойда-Уоршала
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2010)
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2010)
Підходи до формалізації проектування застосувань в технології GPGPU
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2014)
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2014)
«Alert»-технології, що грунтуються на теорії динамічних систем в економічних задачах
за авторством: Лопатін, О.К.
Опубліковано: (2011)
за авторством: Лопатін, О.К.
Опубліковано: (2011)
Моделювання кількісних показників надійності операторської діяльності нечіткими базами знань
за авторством: Штовба, С.Д.
Опубліковано: (2008)
за авторством: Штовба, С.Д.
Опубліковано: (2008)
Сучасні тенденції в автоматизації промислових комплексів
за авторством: Святний, В.А., та інші
Опубліковано: (2016)
за авторством: Святний, В.А., та інші
Опубліковано: (2016)
Ситуаційно-індуктивне моделювання в задачах екстраполяційного прогнозування за даними моніторингу
за авторством: Стефанишин, Д.В.
Опубліковано: (2016)
за авторством: Стефанишин, Д.В.
Опубліковано: (2016)
Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга
за авторством: Зайцев, Д.А.
Опубліковано: (2012)
за авторством: Зайцев, Д.А.
Опубліковано: (2012)
Апробация программно-технологического инструментария автоматизации имитационного моделирования процессов предоставления услуг
за авторством: Левчук, В.Д.
Опубліковано: (2008)
за авторством: Левчук, В.Д.
Опубліковано: (2008)
Підхід до інтеграції системи кредитного скорингу та моделі керування активами та пасивами комерційного банку
за авторством: Осіпенко, Д.В.
Опубліковано: (2011)
за авторством: Осіпенко, Д.В.
Опубліковано: (2011)
Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем. Частина ІІ. Локальне та прогностичне оцінювання
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2015)
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2015)
Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем: IV. Інтерактивне оцінювання
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2016)
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2016)
Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем: Частина I. Опис методики
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2015)
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2015)
Комплексне детерміноване оцінювання складних ієрархічно-мережевих систем. IІI. Агреговане оцінювання
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2015)
за авторством: Поліщук, Д.О., та інші
Опубліковано: (2015)
Построение модели дистанционного образования на основе системной методологии
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2002)
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2002)
Методика оцінки завантаженості Grid-середовища НАН України
за авторством: Карпенко, Д.М., та інші
Опубліковано: (2010)
за авторством: Карпенко, Д.М., та інші
Опубліковано: (2010)
Індикатор могутності держави – важливий інструмент системного анализу та стратегічного планування у сфері національної безпеки
за авторством: Качинський, А.Б., та інші
Опубліковано: (2016)
за авторством: Качинський, А.Б., та інші
Опубліковано: (2016)
Мультифрактальный флуктуационный анализ стеганограмм
за авторством: Прогонов, Д.А., та інші
Опубліковано: (2015)
за авторством: Прогонов, Д.А., та інші
Опубліковано: (2015)
Рациональный компромисс целей субъектов дистанционного образования
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2003)
за авторством: Панкратова, Н.Д., та інші
Опубліковано: (2003)
Технология имитационного моделирования параметрических отказов технических систем
за авторством: Максимей, И.В., та інші
Опубліковано: (2011)
за авторством: Максимей, И.В., та інші
Опубліковано: (2011)
Використання інтелектуальних технологій для аналізу небезпечних ситуацій на залізничному транспорті
за авторством: Юхимчук, С.В., та інші
Опубліковано: (2009)
за авторством: Юхимчук, С.В., та інші
Опубліковано: (2009)
Использование гипотезы λ компактности при построении обучающей выборки для прогнозирующих нейросетевых моделей
за авторством: Крисилов, В.А., та інші
Опубліковано: (2006)
за авторством: Крисилов, В.А., та інші
Опубліковано: (2006)
Системне моделювання і прогноз стану довкілля міста Києва на основі статистичних даних космічного геомоніторингу і наземних спостережень
за авторством: Соколовська, А.В., та інші
Опубліковано: (2014)
за авторством: Соколовська, А.В., та інші
Опубліковано: (2014)
Принципи проектування GPGPU-застосувань на основі мереж Петрі
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2014)
Технология имитационного моделирования динамики обслуживания пассажиропотока городским транспортом
за авторством: Галушко, В.Н., та інші
Опубліковано: (2006)
за авторством: Галушко, В.Н., та інші
Опубліковано: (2006)
Про двокритеріальну оптимізацію портфеля акцій
за авторством: Гаращенко, Ф.Г., та інші
Опубліковано: (2017)
за авторством: Гаращенко, Ф.Г., та інші
Опубліковано: (2017)
Связь сетей Петри с бесскобочной польской записью
за авторством: Статкевич, В.М.
Опубліковано: (2016)
за авторством: Статкевич, В.М.
Опубліковано: (2016)
Использование информации о стоимости тестов и серьезности ошибок в процессе приоритезации тестов
за авторством: Малышевский, А.Г.
Опубліковано: (2008)
за авторством: Малышевский, А.Г.
Опубліковано: (2008)
Принципи створення автоматизованої системи експертної оцінки тарифів на послуги водопостачання та водовідведення
за авторством: Анпілогов, П.І., та інші
Опубліковано: (2008)
за авторством: Анпілогов, П.І., та інші
Опубліковано: (2008)
Умова стійкості системи обслуговування GI/G/1 з T-поверненням заявок
за авторством: Коба, О.В.
Опубліковано: (2005)
за авторством: Коба, О.В.
Опубліковано: (2005)
Оцінювання ризиків дефолту та реальних опціонів
за авторством: Гончар, М.С., та інші
Опубліковано: (2009)
за авторством: Гончар, М.С., та інші
Опубліковано: (2009)
Оптимизация фрагмента телекоммуникационной сети
за авторством: Сундучков, К.С.
Опубліковано: (2010)
за авторством: Сундучков, К.С.
Опубліковано: (2010)
Некоторые результаты компьютерного исследования базового алгоритма адаптивной идентификации
за авторством: Одишария, Г.Б., та інші
Опубліковано: (2005)
за авторством: Одишария, Г.Б., та інші
Опубліковано: (2005)
Розробка математичної моделі пошуку раціонального варіанту навчання
за авторством: Хохлов, В.Ю.
Опубліковано: (2005)
за авторством: Хохлов, В.Ю.
Опубліковано: (2005)
Requirements engineering for business stakeholders: applying quality views framework to software
за авторством: Haigh, M.
Опубліковано: (2012)
за авторством: Haigh, M.
Опубліковано: (2012)
Структурний аналіз системи забезпечення екологічної та природно-техногенної безпеки України
за авторством: Качинський, А.Б., та інші
Опубліковано: (2013)
за авторством: Качинський, А.Б., та інші
Опубліковано: (2013)
Ймовірнісне прогнозування процесів ціноутворення на фондових ринках
за авторством: Бідюк, П.І., та інші
Опубліковано: (2009)
за авторством: Бідюк, П.І., та інші
Опубліковано: (2009)
Blockchain as a service for medical records
за авторством: Petrenko, A., та інші
Опубліковано: (2017)
за авторством: Petrenko, A., та інші
Опубліковано: (2017)
Energy security cost as an externality—increased gas import price and economy of Ukraine
за авторством: Matsuki, Y., та інші
Опубліковано: (2012)
за авторством: Matsuki, Y., та інші
Опубліковано: (2012)
Автоматизована система керування технологічними комплексами з дискретним режимом роботи виконавчих механізмів в умовах господарств АПК
за авторством: Діордієв, В.Т., та інші
Опубліковано: (2013)
за авторством: Діордієв, В.Т., та інші
Опубліковано: (2013)
Розробка нейромережевої інтелектуальної системи для прогнозування енергетичних центрів плямових зображень у процесах профілювання лазерного променя
за авторством: Яровий, А.А., та інші
Опубліковано: (2012)
за авторством: Яровий, А.А., та інші
Опубліковано: (2012)
Схожі ресурси
-
Формування узагальнених паралельних схем алгоритму Флойда-Уоршала
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2010) -
Підходи до формалізації проектування застосувань в технології GPGPU
за авторством: Pogorilyy, S. D., та інші
Опубліковано: (2014) -
«Alert»-технології, що грунтуються на теорії динамічних систем в економічних задачах
за авторством: Лопатін, О.К.
Опубліковано: (2011) -
Моделювання кількісних показників надійності операторської діяльності нечіткими базами знань
за авторством: Штовба, С.Д.
Опубліковано: (2008) -
Сучасні тенденції в автоматизації промислових комплексів
за авторством: Святний, В.А., та інші
Опубліковано: (2016)