Зображення обкладинки

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2004
ISSN:	1028-9763
Автори:	Палагин, А.В., Опанасенко, В.Н., Сахарин, В.Г.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2004
Теми:	Моделювання і управління великими системами
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/83896
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Системы верификации на основе реконфигурируемых устройств / А.В. Палагин, В.Н. Опанасенко, В.Г. Сахарин // Мат. машини і системи. — 2004. — № 2. — С. 100-113. — Бібліогр.: 11 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Реализация процесса верификации для разработки надежного программного обеспечения
за авторством: Скляр, В.В., та інші
Опубліковано: (2006)

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

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

Верификация модуля атмосферного переноса системы РОДОС на основе моделирования натурного эксперимента по распространению Аргона
за авторством: Ковалец, И.В., та інші
Опубліковано: (2010)

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

Корпоративные информационные системы: обеспечение живучести
за авторством: Додонов, А.Г., та інші
Опубліковано: (2005)

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

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

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

Резервы программирования деятельности. 3-мерная программная метамодель системы деятельности
за авторством: Малышев, О.В.
Опубліковано: (2010)

Экспертные системы оперативной оценки техногенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2007)

Методология создания информационно-аналитической системы учета и контроля использования интеллектуальной собственности
за авторством: Морозов, А.А., та інші
Опубліковано: (2004)

Методика структурного обучения динамических байесовских сетей на основе статистических данных
за авторством: Суворов, И.С., та інші
Опубліковано: (2010)

Автоматизация моделирования систем управления технологическими процессами на основе человеко-машинного комплекса имитации
за авторством: Гончаров, А.Н.
Опубліковано: (2009)

Об автоматизации извлечения знаний из информационных ресурсов на основе онтологии предметной области
за авторством: Серебровский, А.Н.
Опубліковано: (2010)

Ассимиляция данных в трехмерной модели распространения радионуклидов в водоемах ТРИТОКС системы РОДОС
за авторством: Ковалец, И.В., та інші
Опубліковано: (2005)

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

Технология имитационного моделирования вариантов организации ресурсов локальных вычислительных сетей при заданной структуре системы распределенной обработки данных
за авторством: Максимей, И.В., та інші
Опубліковано: (2005)

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

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

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

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

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

Моделювання процесу руху полімеру у плоскощілинній головці
за авторством: Чередніченко, П.І., та інші
Опубліковано: (2009)

Применение имитационных моделей для принятия решений в системах управления на транспорте
за авторством: Максимей, И.В., та інші
Опубліковано: (2010)

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

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

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

Развитие Центров компетенции
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)

Розподілене моделювання в EMS на основі архітектури HLA
за авторством: Казимир, В.В., та інші
Опубліковано: (2011)

Математическое моделирование управления гидросистемой шагающей машины
за авторством: Боровин, Г.К., та інші
Опубліковано: (2009)

Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки
за авторством: Литвинов, В.В., та інші
Опубліковано: (2005)

Математические модели оптимального управления динамическими структурами данных
за авторством: Аксенова, Е.А., та інші
Опубліковано: (2009)

Об автоматизации расчетов акустических полей в неоднородных волноводах
за авторством: Гладкий, А.В., та інші
Опубліковано: (2006)

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

Алгоритми і моделі автоматичної ідентифікації та корекції типових помилок користувача на основі природної надмірності
за авторством: Кузьменко, Г.Є., та інші
Опубліковано: (2004)

Об одной методике имитационного моделирования вероятностных технологических процессов производства
за авторством: Гончаров, А.Н., та інші
Опубліковано: (2008)

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

Имитационное моделирование вероятностных производственных систем
за авторством: Гончаров, А.Н., та інші
Опубліковано: (2009)

Система поддержки управления качеством воды реки Ингулец, основанная на одномерных моделях динамики воды и переноса примесей
за авторством: Дончиц, Г.В., та інші
Опубліковано: (2006)