Repository logo
  • English
  • Yкраї́нська
Log In
New user? Click here to register.Have you forgotten your password?
  1. Home
  2. Матеріали конференцій
  3. Сучасні інноваційні технології підготовки інженерних кадрів для гірничої промисловості і транспорту
  4. Современные инновационные технологии   подготовки инженерных кадров   для горной промышленности и транспорта 2019, г. Днепр, 26‐27 апреля : сб. науч. тр. междунар. конф.
  5. Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы
 
  • Details

Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы

Date Issued
2019
Author(s)
Мартышкин, А. И.  
Abstract
В статье представлена возможность аппаратной реализации и проверки правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы Приводится методика верификации в программе 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.
Subjects

реконфигурируемая выч...

диспетчер задач

верификация алгоритмо...

синхронизация процесс...

операционная система

программа SMV

reconfigurable comput...

task manager

algorithm verificatio...

process synchronizati...

operating system

SMV program

File(s)
Loading...
Thumbnail Image
Name

citep2019-218-224.pdf

Size

760.59 KB

Format

Adobe PDF

Checksum

(MD5):cef727a30bc4a1d212f43c1be3e895f5

.

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • End User Agreement
  • Send Feedback
Repository logo COAR Notify