Cerca
Items 1-1 di 1
Аппаратная поддержка и проверка правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы
(Видавництво НТУ «ДП», 2019)
В статье представлена возможность аппаратной реализации и проверки правильности работы диспетчера задач многопроцессорной реконфигурируемой вычислительной системы Приводится методика верификации в программе SMV. В ходе ...