Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи
Ескіз недоступний
Дата
2024
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Опис
Ключові слова
Бібліографічний опис
Морозов, К. В. Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи / Морозов К. В., Шурига О. В., Поліщук О. П. // Прикладна математика та комп’ютинг ПМК' 2024 : збірник тез доповідей Сімнадцятої конференції магістрантів та аспірантів (20-22 листопада 2024 р. Київ, Україна). – Київ, 2024. – С. 637-640.