Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ir.nmu.org.ua/handle/123456789/156500
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorМартышкин, А. И. -
dc.date.accessioned2020-10-23T10:52:34Z-
dc.date.available2020-10-23T10:52:34Z-
dc.date.issued2019-
dc.identifier.citationМартышкин А. И. Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы / А. И. Мартышкин // Современные инновационные технологии подготовки инженерных кадров для горной промышленности и транспорта 2019 : сб. науч. тр.. международной. конф., г. Днепропетровск, 26‐27 апреля 2019 г.. – Днепр : НТУ «ДП», 2019. – С. 218-224.ru_RU
dc.identifier.urihttp://ir.nmu.org.ua/handle/123456789/156500-
dc.description.abstractВ статье представлена возможность аппаратной реализации и проверки правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы Приводится методика верификации в программе SMV. В ходе исследования получена кодировка недетерминированного автомата НДА на входном языке SMV в соответствии с описанной методикой.ru_RU
dc.description.abstractThe article presents the possibility of hardware implementation and verification of the correctness of the work of the task manager of a multiprocessor reconfigurable computing system. The verification method in the SMV program is given. In the course of the study, a non‐deterministic NDA automaton encoding was obtained in the input language SMV in accordance with the described method.ru_RU
dc.language.isoruru_RU
dc.publisherВидавництво НТУ «ДП»ru_RU
dc.subjectреконфигурируемая вычислительная системаru_RU
dc.subjectдиспетчер задачru_RU
dc.subjectверификация алгоритмовru_RU
dc.subjectсинхронизация процессовru_RU
dc.subjectоперационная системаru_RU
dc.subjectпрограмма SMVru_RU
dc.subjectreconfigurable computing systemru_RU
dc.subjecttask managerru_RU
dc.subjectalgorithm verificationru_RU
dc.subjectprocess synchronizationru_RU
dc.subjectoperating systemru_RU
dc.subjectSMV programru_RU
dc.titleАппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системыru_RU
dc.title.alternativeHardware support and verification of the operation of the taskman controller of a multi‐processor reconfigurable computing systemru_RU
dc.typeArticleru_RU
dc.identifier.udk004.451 ru_RU
Розташовується у зібраннях:Современные инновационные технологии   подготовки инженерных кадров   для горной промышленности и транспорта 2019, г. Днепр, 26‐27 апреля : сб. науч. тр. междунар. конф.

Файли цього матеріалу:
Файл Опис РозмірФормат 
citep2019-218-224.pdf760,59 kBAdobe PDFЕскіз
Переглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.