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

A Formalized Approach to Verify GPGPU Applications. Part 2


ID: 217539
Кількість показів: 26
дата змінення: 27.11.2018 15:49:38
Ким змінено (ім'я): (rff12) Ірина Левицька
Вид роботи:  Наукова публікація
Тип роботи:  Матеріали конференції
Кількість сторінок:  3
Рік видання:  2018
Звітний рік:  2018
Видання:  Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
Том:  1
Випуск, частина:  2018
Номери сторінок:  306-308
Галузь науки:  Інформатика
Автори,співробітники Університету:  Погорілий Сергій Дем'янович / Кривий Сергій Лук'янович
Автори,студенти та аспіранти Університету:  Слинько Максим
Кафедра / Відділ:  Інформаційних систем / Ком'ютерної інженерії
№ теми:  16КФ015-01 / 16КФ052-01
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет радіофізики, електроніки та комп'ютерних систем / Факультет комп'ютерних наук та кібернетики

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

Вгору