Системы верификации на основе реконфигурируемых устройств
Выполнен анализ принципов построения и функционирования современных систем верификации реконфигурируемых устройств на основе программируемых логических интегральных схем (ПЛИС) таких известных фирм, как Virtual Computer Corporation (HOT), Nallatech (FUSE), Aptix (System Explorer), Xilinx (XtremeDSP...
Saved in:
| Date: | 2004 |
|---|---|
| Main Authors: | Палагин, А.В., Опанасенко, В.Н., Сахарин, В.Г. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83896 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Системы верификации на основе реконфигурируемых устройств / А.В. Палагин, В.Н. Опанасенко, В.Г. Сахарин // Мат. машини і системи. — 2004. — № 2. — С. 100-113. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Реализация процесса верификации для разработки надежного программного обеспечения
by: Скляр, В.В., et al.
Published: (2006)
by: Скляр, В.В., et al.
Published: (2006)
Методы оценки производительности программных систем для мобильных устройств
by: Семенец, С.В.
Published: (2005)
by: Семенец, С.В.
Published: (2005)
Программный комплекс поддержки системы документооборота на основе моделей процессов
by: Круковский, М.Ю.
Published: (2006)
by: Круковский, М.Ю.
Published: (2006)
Верификация модуля атмосферного переноса системы РОДОС на основе моделирования натурного эксперимента по распространению Аргона
by: Ковалец, И.В., et al.
Published: (2010)
by: Ковалец, И.В., et al.
Published: (2010)
Оценка уровня виртуальной интеллектуальности прикладной программно-технической системы на основе анализа эргономической модели
by: Литвинов, В.А., et al.
Published: (2008)
by: Литвинов, В.А., et al.
Published: (2008)
Корпоративные информационные системы: обеспечение живучести
by: Додонов, А.Г., et al.
Published: (2005)
by: Додонов, А.Г., et al.
Published: (2005)
Анализ экспериментальных данных на основе использования многофакторных статистических математических моделей
by: Радченко, С.Г.
Published: (2005)
by: Радченко, С.Г.
Published: (2005)
Пути повышения пропускной способности участков железнодорожной сети на основе имитационного моделирования
by: Ратобыльская, Д.В.
Published: (2010)
by: Ратобыльская, Д.В.
Published: (2010)
Исправление ошибок пользователя на основе совместного применения помехозащитных кодов и виртуального словаря допустимых слов
by: Литвинов, В.А., et al.
Published: (2007)
by: Литвинов, В.А., et al.
Published: (2007)
Экспертные системы оперативной оценки техногенной опасности
by: Серебровский, А.Н.
Published: (2007)
by: Серебровский, А.Н.
Published: (2007)
Методология создания информационно-аналитической системы учета и контроля использования интеллектуальной собственности
by: Морозов, А.А., et al.
Published: (2004)
by: Морозов, А.А., et al.
Published: (2004)
Решение обыкновенных дифференциальных уравнений с применением системы АНАЛИТИК-2000
by: Кралина, А.С., et al.
Published: (2004)
by: Кралина, А.С., et al.
Published: (2004)
Технология имитационного моделирования вариантов организации ресурсов локальных вычислительных сетей при заданной структуре системы распределенной обработки данных
by: Максимей, И.В., et al.
Published: (2005)
by: Максимей, И.В., et al.
Published: (2005)
Система автоматизации контроля мясной продукции. Подсистемы оценки качества мясной продукции
by: Зайцев, В.Г.
Published: (2006)
by: Зайцев, В.Г.
Published: (2006)
Автоматизация оценки некоторых органолептических показателей качества мясной продукции
by: Зайцев, В.Г.
Published: (2005)
by: Зайцев, В.Г.
Published: (2005)
Алгоритм и программа распознавания контуров изображений как последовательности отрезков цифровых прямых
by: Власова, Т.М., et al.
Published: (2005)
by: Власова, Т.М., et al.
Published: (2005)
Оценка вероятности опасного сближения самолетов при управлении воздушным движением
by: Васильев, В.Н.
Published: (2007)
by: Васильев, В.Н.
Published: (2007)
Стохастический метод прогнозирования конфликтных ситуаций и столкновения самолетов
by: Васильев, В.Н.
Published: (2005)
by: Васильев, В.Н.
Published: (2005)
Моделювання процесу руху полімеру у плоскощілинній головці
by: Чередніченко, П.І., et al.
Published: (2009)
by: Чередніченко, П.І., et al.
Published: (2009)
Применение имитационных моделей для принятия решений в системах управления на транспорте
by: Максимей, И.В., et al.
Published: (2010)
by: Максимей, И.В., et al.
Published: (2010)
Особенности моделирования циркулирующего двухфазного потока
by: Герега, А.Н., et al.
Published: (2010)
by: Герега, А.Н., et al.
Published: (2010)
О подходе к решению задачи составления расписания использования летного состава в авиакомпании
by: Мирошниченко, А.В.
Published: (2010)
by: Мирошниченко, А.В.
Published: (2010)
Способ исследования производственных систем с последовательной организацией технологического цикла
by: Клименко, А.В.
Published: (2009)
by: Клименко, А.В.
Published: (2009)
Розподілене моделювання в EMS на основі архітектури HLA
by: Казимир, В.В., et al.
Published: (2011)
by: Казимир, В.В., et al.
Published: (2011)
Развитие Центров компетенции
by: Коваль, В.Н., et al.
Published: (2006)
by: Коваль, В.Н., et al.
Published: (2006)
Математическое моделирование управления гидросистемой шагающей машины
by: Боровин, Г.К., et al.
Published: (2009)
by: Боровин, Г.К., et al.
Published: (2009)
Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки
by: Литвинов, В.В., et al.
Published: (2005)
by: Литвинов, В.В., et al.
Published: (2005)
Інтелектуалізація інформаційних систем: орієнтація на формування знань в процесах аналізу “інформаційних згорток”
by: Морозов, А.О., et al.
Published: (2005)
by: Морозов, А.О., et al.
Published: (2005)
Алгоритми і моделі автоматичної ідентифікації та корекції типових помилок користувача на основі природної надмірності
by: Кузьменко, Г.Є., et al.
Published: (2004)
by: Кузьменко, Г.Є., et al.
Published: (2004)
Об одной методике имитационного моделирования вероятностных технологических процессов производства
by: Гончаров, А.Н., et al.
Published: (2008)
by: Гончаров, А.Н., et al.
Published: (2008)
Онтологічні схеми інтелектуалізації систем підтримки прийняття рішень (СППР)
by: В’юн, В.І., et al.
Published: (2008)
by: В’юн, В.І., et al.
Published: (2008)
Система поддержки управления качеством воды реки Ингулец, основанная на одномерных моделях динамики воды и переноса примесей
by: Дончиц, Г.В., et al.
Published: (2006)
by: Дончиц, Г.В., et al.
Published: (2006)
Розбудова абстрактної моделі мовно-онтологічної інформаційної системи
by: Палагін, О.В., et al.
Published: (2007)
by: Палагін, О.В., et al.
Published: (2007)
Модель категоріального рівня мовно-онтологічної картини світу
by: Палагін, О.В., et al.
Published: (2006)
by: Палагін, О.В., et al.
Published: (2006)
Метод динамического перераспределения потоков между портами устройства пакетной коммутации, позволяющий увеличить загрузку сетевого оборудования
by: Конахович, Г.Ф., et al.
Published: (2005)
by: Конахович, Г.Ф., et al.
Published: (2005)
До питання управління безпекою військових об’єктів підвищеної небезпеки
by: Кузьменко, Г.Є., et al.
Published: (2008)
by: Кузьменко, Г.Є., et al.
Published: (2008)
Быстрый метод поворота растрового изображения сложного символа, выводимого на экран геоинформационных комплексов реального времени
by: Бородин, В.А.
Published: (2004)
by: Бородин, В.А.
Published: (2004)
Оцінка ефективності протипаводкових заходів на малих річкових водозборах Закарпаття на основі розрахунків розподіленої моделі «опади-стік»
by: Бойко, О.В., et al.
Published: (2011)
by: Бойко, О.В., et al.
Published: (2011)
Конструювання програм створення тестових наборів на базі автоматних моделей
by: Райчев, І.Е., et al.
Published: (2006)
by: Райчев, І.Е., et al.
Published: (2006)
Алгоритм паралельного виконання та синхронізації Е-мережі
by: Литвинов, В.В., et al.
Published: (2005)
by: Литвинов, В.В., et al.
Published: (2005)
Similar Items
-
Реализация процесса верификации для разработки надежного программного обеспечения
by: Скляр, В.В., et al.
Published: (2006) -
Методы оценки производительности программных систем для мобильных устройств
by: Семенец, С.В.
Published: (2005) -
Программный комплекс поддержки системы документооборота на основе моделей процессов
by: Круковский, М.Ю.
Published: (2006) -
Верификация модуля атмосферного переноса системы РОДОС на основе моделирования натурного эксперимента по распространению Аргона
by: Ковалец, И.В., et al.
Published: (2010) -
Оценка уровня виртуальной интеллектуальности прикладной программно-технической системы на основе анализа эргономической модели
by: Литвинов, В.А., et al.
Published: (2008)