Наукові публікації університету

Проектування та модельне обґрунтування застосувань на основі відеоадаптерів

Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моделі обчислень в архітектурі NVIDIA CUDA та досліджено її на предмет наявності дедлоків, пасток, властивості обмеженості та відсутності мертвих місць і переходів.

ID: 240390
Кількість показів: 40
дата змінення: 26.11.2019 22:37:47
Ким змінено (ім'я): (cyb13) Дмитро Терлецький
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  11
Рік видання:  2018
Звітний рік:  2019
Видання:  Управляющие системы и машины (УСиМ)
Випуск, частина:  4
Номери сторінок:  46-56
Галузь науки:  Інформатика
Автори,співробітники Університету:  Кривий Сергій Лук'янович / Погорілий Сергій Дем'янович
Автори,студенти та аспіранти Університету:  Слинько Максим Сергійович
Кафедра / Відділ:  Інтелектуальних програмних систем / Комп'ютерної інженерії
№ теми:  16КФ015-01 / 16КФ052-01
Посилання на статтю (посилання на рецензію в журналі (для монографій):  http://irbis-nbuv.gov.ua/cgi-bin/irbis_nbuv/cgiirbis_64.exe?C21COM=2&I21DBN=UJRN&P21DBN=UJRN&IMAGE_FILE_DOWNLOAD=1&Image_file_name=PDF/USM_2018_4_6.pdf
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет радіофізики, електроніки та комп'ютерних систем / Факультет комп'ютерних наук та кібернетики

Повернення до списку

Вгору