Buchumschlag

Системы верификации на основе реконфигурируемых устройств

Выполнен анализ принципов построения и функционирования современных систем верификации реконфигурируемых устройств на основе программируемых логических интегральных схем (ПЛИС) таких известных фирм, как Virtual Computer Corporation (HOT), Nallatech (FUSE), Aptix (System Explorer), Xilinx (XtremeDSP...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2004
Hauptverfasser:	Палагин, А.В., Опанасенко, В.Н., Сахарин, В.Г.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2004
Schlagworte:	Моделювання і управління великими системами
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83896
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Системы верификации на основе реконфигурируемых устройств / А.В. Палагин, В.Н. Опанасенко, В.Г. Сахарин // Мат. машини і системи. — 2004. — № 2. — С. 100-113. — Бібліогр.: 11 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Реализация процесса верификации для разработки надежного программного обеспечения
von: Скляр, В.В., et al.
Veröffentlicht: (2006)

Методы оценки производительности программных систем для мобильных устройств
von: Семенец, С.В.
Veröffentlicht: (2005)

Программный комплекс поддержки системы документооборота на основе моделей процессов
von: Круковский, М.Ю.
Veröffentlicht: (2006)

Верификация модуля атмосферного переноса системы РОДОС на основе моделирования натурного эксперимента по распространению Аргона
von: Ковалец, И.В., et al.
Veröffentlicht: (2010)

Оценка уровня виртуальной интеллектуальности прикладной программно-технической системы на основе анализа эргономической модели
von: Литвинов, В.А., et al.
Veröffentlicht: (2008)

Корпоративные информационные системы: обеспечение живучести
von: Додонов, А.Г., et al.
Veröffentlicht: (2005)

Анализ экспериментальных данных на основе использования многофакторных статистических математических моделей
von: Радченко, С.Г.
Veröffentlicht: (2005)

Пути повышения пропускной способности участков железнодорожной сети на основе имитационного моделирования
von: Ратобыльская, Д.В.
Veröffentlicht: (2010)

Исправление ошибок пользователя на основе совместного применения помехозащитных кодов и виртуального словаря допустимых слов
von: Литвинов, В.А., et al.
Veröffentlicht: (2007)

Экспертные системы оперативной оценки техногенной опасности
von: Серебровский, А.Н.
Veröffentlicht: (2007)

Методология создания информационно-аналитической системы учета и контроля использования интеллектуальной собственности
von: Морозов, А.А., et al.
Veröffentlicht: (2004)

Решение обыкновенных дифференциальных уравнений с применением системы АНАЛИТИК-2000
von: Кралина, А.С., et al.
Veröffentlicht: (2004)

Технология имитационного моделирования вариантов организации ресурсов локальных вычислительных сетей при заданной структуре системы распределенной обработки данных
von: Максимей, И.В., et al.
Veröffentlicht: (2005)

Система автоматизации контроля мясной продукции. Подсистемы оценки качества мясной продукции
von: Зайцев, В.Г.
Veröffentlicht: (2006)

Автоматизация оценки некоторых органолептических показателей качества мясной продукции
von: Зайцев, В.Г.
Veröffentlicht: (2005)

Алгоритм и программа распознавания контуров изображений как последовательности отрезков цифровых прямых
von: Власова, Т.М., et al.
Veröffentlicht: (2005)

Оценка вероятности опасного сближения самолетов при управлении воздушным движением
von: Васильев, В.Н.
Veröffentlicht: (2007)

Стохастический метод прогнозирования конфликтных ситуаций и столкновения самолетов
von: Васильев, В.Н.
Veröffentlicht: (2005)

Моделювання процесу руху полімеру у плоскощілинній головці
von: Чередніченко, П.І., et al.
Veröffentlicht: (2009)

Применение имитационных моделей для принятия решений в системах управления на транспорте
von: Максимей, И.В., et al.
Veröffentlicht: (2010)

Особенности моделирования циркулирующего двухфазного потока
von: Герега, А.Н., et al.
Veröffentlicht: (2010)

О подходе к решению задачи составления расписания использования летного состава в авиакомпании
von: Мирошниченко, А.В.
Veröffentlicht: (2010)

Способ исследования производственных систем с последовательной организацией технологического цикла
von: Клименко, А.В.
Veröffentlicht: (2009)

Розподілене моделювання в EMS на основі архітектури HLA
von: Казимир, В.В., et al.
Veröffentlicht: (2011)

Развитие Центров компетенции
von: Коваль, В.Н., et al.
Veröffentlicht: (2006)

Математическое моделирование управления гидросистемой шагающей машины
von: Боровин, Г.К., et al.
Veröffentlicht: (2009)

Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)

Інтелектуалізація інформаційних систем: орієнтація на формування знань в процесах аналізу “інформаційних згорток”
von: Морозов, А.О., et al.
Veröffentlicht: (2005)

Алгоритми і моделі автоматичної ідентифікації та корекції типових помилок користувача на основі природної надмірності
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2004)

Об одной методике имитационного моделирования вероятностных технологических процессов производства
von: Гончаров, А.Н., et al.
Veröffentlicht: (2008)

Онтологічні схеми інтелектуалізації систем підтримки прийняття рішень (СППР)
von: В’юн, В.І., et al.
Veröffentlicht: (2008)

Система поддержки управления качеством воды реки Ингулец, основанная на одномерных моделях динамики воды и переноса примесей
von: Дончиц, Г.В., et al.
Veröffentlicht: (2006)

Розбудова абстрактної моделі мовно-онтологічної інформаційної системи
von: Палагін, О.В., et al.
Veröffentlicht: (2007)

Модель категоріального рівня мовно-онтологічної картини світу
von: Палагін, О.В., et al.
Veröffentlicht: (2006)

Метод динамического перераспределения потоков между портами устройства пакетной коммутации, позволяющий увеличить загрузку сетевого оборудования
von: Конахович, Г.Ф., et al.
Veröffentlicht: (2005)

До питання управління безпекою військових об’єктів підвищеної небезпеки
von: Кузьменко, Г.Є., et al.
Veröffentlicht: (2008)

Быстрый метод поворота растрового изображения сложного символа, выводимого на экран геоинформационных комплексов реального времени
von: Бородин, В.А.
Veröffentlicht: (2004)

Оцінка ефективності протипаводкових заходів на малих річкових водозборах Закарпаття на основі розрахунків розподіленої моделі «опади-стік»
von: Бойко, О.В., et al.
Veröffentlicht: (2011)

Конструювання програм створення тестових наборів на базі автоматних моделей
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Алгоритм паралельного виконання та синхронізації Е-мережі
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)