1. Institutional repository Dnipro University of Technology
  2. Конференції
  3. Сучасні інноваційні технології підготовки інженерних кадрів для гірничої промисловості і транспорту
  4. Современные инновационные технологии   подготовки инженерных кадров   для горной промышленности и транспорта 2019, г. Днепр, 26‐27 апреля : сб. науч. тр. междунар. конф.
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ir.nmu.org.ua/handle/123456789/156500
Назва: Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы
Інші назви: Hardware support and verification of the operation of the taskman controller of a multi‐processor reconfigurable computing system
Автори: Мартышкин, А. И. 
Ключові слова: реконфигурируемая вычислительная система;диспетчер задач;верификация алгоритмов;синхронизация процессов;операционная система;программа SMV;reconfigurable computing system;task manager;algorithm verification;process synchronization;operating system;SMV program
Дата публікації: 2019
Видавництво: Видавництво НТУ «ДП»
Бібліографічний опис: Мартышкин А. И. Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы / А. И. Мартышкин // Современные инновационные технологии подготовки инженерных кадров для горной промышленности и транспорта 2019 : сб. науч. тр.. международной. конф., г. Днепропетровск, 26‐27 апреля 2019 г.. – Днепр : НТУ «ДП», 2019. – С. 218-224.
Короткий огляд (реферат): В статье представлена возможность аппаратной реализации и проверки правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы Приводится методика верификации в программе SMV. В ходе исследования получена кодировка недетерминированного автомата НДА на входном языке SMV в соответствии с описанной методикой.
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.
URI (Уніфікований ідентифікатор ресурсу): http://ir.nmu.org.ua/handle/123456789/156500
Розташовується у зібраннях:Современные инновационные технологии   подготовки инженерных кадров   для горной промышленности и транспорта 2019, г. Днепр, 26‐27 апреля : сб. науч. тр. междунар. конф.

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


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