![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000700557<.>) |
Загальна кількість знайдених документів : 1
|
Погорілий С. Д. Проектування та модельне обгрунтування застосувань на основі відеоадаптерів / С. Д. Погорілий, С. Л. Кривий, М. С. Слинько // Управляющие системы и машины. - 2018. - № 4. - С. 46-56. - Бібліогр.: 10 назв. - укp.Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі дл яверифікації моделі застосування. Проведено формалізацію узагальненої моделі обчислень в архітектурі VIDIA CUDA та досліджено її на предмет наявності дедлоків, пасток, властивості обмеженості та відсутності мертвих місць і переходів. Індекс рубрикатора НБУВ: З973-044.611
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|