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

Организация многоуровнего моделирования для верификации цифровых проектов

Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, нал...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Моделирующая среда для создания и отладки систем цифровой обработки
за авторством: Палагин, А.В., та інші
Опубліковано: (2013)

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

Организация фрактального моделирования
за авторством: Большаков, В.И., та інші
Опубліковано: (2018)

Параллельный алгоритм моделирования цифровых устройств с неисправностями для многоядерных систем с общей памятью
за авторством: Иванов, Д.Е.
Опубліковано: (2011)

Контроллинг инвестиционных проектов
за авторством: Толокновская, Е.Е.
Опубліковано: (1999)

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

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2017)

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

Системы верификации на основе реконфигурируемых устройств
за авторством: Палагин, А.В., та інші
Опубліковано: (2004)

Сравнительный анализ сред реализаций декодера сверточного кода
за авторством: Сосненко, Е.П.
Опубліковано: (2015)

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

Нарративная организация романа К. Вагинова "Козлиная песнь" (1928)
за авторством: Карасёв, Е.Н.
Опубліковано: (2010)

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

Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
за авторством: Лукьянова, Е.А.
Опубліковано: (2014)

Снижение трудоемкости выполнения проектов подработки зданий
за авторством: Блинникова, Е.В.
Опубліковано: (2008)

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

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

Распознавание структуры графических изображений блок-схем
за авторством: Чичирин, Е.Н.
Опубліковано: (2017)

Подсистема обработки и формирования аудио сигналов
за авторством: Чичирин, Е.Н.
Опубліковано: (2016)

Интеллектуальные методы в моделировании процессов принятия решений
за авторством: Чичирин, Е.Н.
Опубліковано: (2018)

Перестраиваемая структура декодера Витерби в базисе ПЛИС Xilinx
за авторством: Чичирин, Е.Н.
Опубліковано: (2015)

Аэрогазодинамическое сопровождение отдельных космических проектов
за авторством: Басс, В.П.
Опубліковано: (2011)

Использование результатов осуществления аудита эффективности для планирования программы реализации национальных проектов
за авторством: Ваганова, О.Е.
Опубліковано: (2011)

Бюджетное финансирование инвестиционных проектов
за авторством: Макарчева, О.А.
Опубліковано: (2013)

Реализация проектов гидроэнергетики Украины
за авторством: Сирота, И.Г.
Опубліковано: (2013)

Оценка влияния реализации инвестиционных проектов на деятельность предприятий
за авторством: Толокновская, Е.Е.
Опубліковано: (1999)

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

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

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

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

Методы синхронизации цифровых водяных знаков
за авторством: Кошкина, Н.В.
Опубліковано: (2008)

Oценка эффективности инвестиционных проектов
за авторством: Ефремова, А.А., та інші
Опубліковано: (2013)

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

Проектирование и физическая верификация цифровых устройств на ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2008)

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

Оценка эффективности инвестиционных проектов с использованием графоаналитического метода «Квадрат потенциала»
за авторством: Добыкина, Е.К., та інші
Опубліковано: (2006)

Классификация рисков, возникающих при осуществлении концессионных проектов
за авторством: Погребняк, М.Н.
Опубліковано: (2009)

Оценка привлекательности инвестиционных проектов угледобывающего предприятия
за авторством: Евдокимов, Ф.И., та інші
Опубліковано: (2011)

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

Анализ безопасности систем цифровых водяных знаков
за авторством: Кошкина, Н.В.
Опубліковано: (2011)