Показати скорочений опис матеріалу
Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы
| dc.contributor.author | Мартышкин, А. И. | |
| dc.date.accessioned | 2020-10-23T10:52:34Z | |
| dc.date.available | 2020-10-23T10:52:34Z | |
| dc.date.issued | 2019 | |
| dc.identifier.citation | Мартышкин А. И. Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы / А. И. Мартышкин // Современные инновационные технологии подготовки инженерных кадров для горной промышленности и транспорта 2019 : сб. науч. тр.. международной. конф., г. Днепропетровск, 26‐27 апреля 2019 г.. – Днепр : НТУ «ДП», 2019. – С. 218-224. | ru_RU |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/123456789/156500 | |
| dc.description.abstract | В статье представлена возможность аппаратной реализации и проверки правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы Приводится методика верификации в программе SMV. В ходе исследования получена кодировка недетерминированного автомата НДА на входном языке SMV в соответствии с описанной методикой. | ru_RU |
| dc.description.abstract | The 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.iso | ru | ru_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 | программа SMV | ru_RU |
| dc.subject | reconfigurable computing system | ru_RU |
| dc.subject | task manager | ru_RU |
| dc.subject | algorithm verification | ru_RU |
| dc.subject | process synchronization | ru_RU |
| dc.subject | operating system | ru_RU |
| dc.subject | SMV program | ru_RU |
| dc.title | Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы | ru_RU |
| dc.title.alternative | Hardware support and verification of the operation of the taskman controller of a multi‐processor reconfigurable computing system | ru_RU |
| dc.type | Article | ru_RU |
| dc.identifier.udk | 004.451 | ru_RU |
