Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи

Скорочена інформація про документ
dc.contributor.authorМорозов, К. В.
dc.contributor.authorШурига, О. В.
dc.contributor.authorПоліщук, О. П.
dc.date.accessioned2025-01-20T14:32:20Z
dc.date.available2025-01-20T14:32:20Z
dc.date.issued2024
dc.description.abstractotherThis paper is dedicated to the problem of the application of the formal method for determining processor states of a non-basic fault tolerant multiprocessor system. By assuming that the determining of the processor states of a faulty system is unnecessary, the work provides an approach to reduce the complexity of computations required for determining processor states.
dc.format.pagerangeС. 637-640
dc.identifier.citationМорозов, К. В. Про застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи / Морозов К. В., Шурига О. В., Поліщук О. П. // Прикладна математика та комп’ютинг ПМК' 2024 : збірник тез доповідей Сімнадцятої конференції магістрантів та аспірантів (20-22 листопада 2024 р. Київ, Україна). – Київ, 2024. – С. 637-640.
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/72057
dc.language.isouk
dc.publisherКПІ ім. Ігоря Сікорського
dc.publisher.placeКиїв
dc.sourceПрикладна математика та комп’ютинг ПМК' 2024 : збірник тез доповідей Сімнадцятої конференції магістрантів та аспірантів (20-22 листопада 2024 р. Київ, Україна)
dc.subject.udc519.718
dc.titleПро застосування формального методу для визначення станів процесорів небазової багатопроцесорної системи
dc.title.alternativeOn the application of the formal method for determining processor states of a non-basic fault tolerant multiprocessor system
dc.typeArticle

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
122-P_637-640.docx
Розмір:
43.9 KB
Формат:
Microsoft Word XML
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.98 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Матеріали конференції