Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Комп’ютерні засоби, мережі та системи
Datum:	2012
Hauptverfasser:	Семотюк, М.В., Чичирин, Е.Н., Сосненко, Е.П.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2012
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/46486
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:	Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Моделирующая среда для создания и отладки систем цифровой обработки
von: Палагин, А.В., et al.
Veröffentlicht: (2013)

Acoustic Commander – интегрированная операционная среда для измерения и расчета акустических параметров
von: Палагин, А.В., et al.
Veröffentlicht: (2009)

Организация фрактального моделирования
von: Большаков, В.И., et al.
Veröffentlicht: (2018)

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

Контроллинг инвестиционных проектов
von: Толокновская, Е.Е.
Veröffentlicht: (1999)

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

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
von: Бибило, П.Н., et al.
Veröffentlicht: (2017)

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

Системы верификации на основе реконфигурируемых устройств
von: Палагин, А.В., et al.
Veröffentlicht: (2004)

Сравнительный анализ сред реализаций декодера сверточного кода
von: Сосненко, Е.П.
Veröffentlicht: (2015)

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

Нарративная организация романа К. Вагинова "Козлиная песнь" (1928)
von: Карасёв, Е.Н.
Veröffentlicht: (2010)

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

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

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

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

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

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

Подсистема обработки и формирования аудио сигналов
von: Чичирин, Е.Н.
Veröffentlicht: (2016)

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

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

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

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

Бюджетное финансирование инвестиционных проектов
von: Макарчева, О.А.
Veröffentlicht: (2013)

Реализация проектов гидроэнергетики Украины
von: Сирота, И.Г.
Veröffentlicht: (2013)

Оценка влияния реализации инвестиционных проектов на деятельность предприятий
von: Толокновская, Е.Е.
Veröffentlicht: (1999)

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

Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)

Модели верификации планов ликвидации аварий на угольных шахтах
von: Казимир, В.В., et al.
Veröffentlicht: (2012)

Организация интеллектуального управления движениями кисти для восстановления речи
von: Вовк, М.И., et al.
Veröffentlicht: (2016)

Методы синхронизации цифровых водяных знаков
von: Кошкина, Н.В.
Veröffentlicht: (2008)

Oценка эффективности инвестиционных проектов
von: Ефремова, А.А., et al.
Veröffentlicht: (2013)

Инженерный метод оптимизации цифровых систем управления
von: Голинко, И.М., et al.
Veröffentlicht: (2014)

Проектирование и физическая верификация цифровых устройств на ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2008)

Совершенствование реализации проектов ликвидации горнодобывающих предприятий
von: Петренко, П.Я., et al.
Veröffentlicht: (2005)

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

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

Оценка привлекательности инвестиционных проектов угледобывающего предприятия
von: Евдокимов, Ф.И., et al.
Veröffentlicht: (2011)

Проблемы определения рейтинговой оценки инвестиционных проектов
von: Перзеке, Н.Б., et al.
Veröffentlicht: (1998)

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