Проектування та модельне обґрунтування застосувань на основі відеоадаптерів
Досліджено модельне обгрунтування властивостей архітектур відеоадаптерів виробництва NVIDIA. Розглянуто послідовність застосування апарату транзиційних систем для побудови високорівневої специфікації та апарату мереж Петрі для верифікації моделі застосування. Проведено формалізацію узагальненої моде...
Збережено в:
| Дата: | 2018 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2018
|
| Назва видання: | Управляющие системы и машины |
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/150489 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Проектування та модельне обґрунтування застосувань на основі відеоадаптерів / С.Д. Погорілий, С.Л. Кривий, М.С. Слинько // Управляющие системы и машины. — 2018. — № 4. — С. 46-56. — Бібліогр.: 10 назв. — укр. |