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

A Formalized Approach to Verify GPGPU Applications. Part 1


ID: 217498
Кількість показів: 34
дата змінення: 07.06.2019 12:32:32
Ким змінено (ім'я): (ivt4) Тетяна Кільчицька
Вид роботи:  Наукова публікація
Тип роботи:  Матеріали конференції
Кількість сторінок:  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
Номери сторінок:  303-305
Галузь науки:  Інформатика
Автори,співробітники Університету:  Погорілий Сергій Дем'янович / Кривий Сергій Лук'янович
Автори,студенти та аспіранти Університету:  Слинько Максим Сергійович
Кафедра / Відділ:  Інформаційних систем / Ком'ютерної інженерії
№ теми:  16КФ015-01 / 16КФ052-01
Опубліковано за рішенням Вченої ради:  ні
Інститут/Факультет:  Факультет радіофізики, електроніки та комп'ютерних систем / Факультет комп'ютерних наук та кібернетики

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

Вгору