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)

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

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

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

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

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

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

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

Об одном подходе к верификации алгебраических вычислений
von: Львов, М.С.
Veröffentlicht: (2011)

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

Теоретико-концептуальные основы экономико-экологического учета в ходе разработки и реализации природопреобразующих проектов
von: Громова, Е.Н., et al.
Veröffentlicht: (2012)

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

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

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

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

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

Оценки качества для анализа цифровых изображений
von: Монич, Ю.И., et al.
Veröffentlicht: (2008)

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

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

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

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

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

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

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

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

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

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

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

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

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

Сценарии организации цифровых трактов для ВЧ-связи по высоковольтным линиям электропередачи
von: Курицын, Е.М., et al.
Veröffentlicht: (2007)

Анализ современных методов диагностирования инвестиционных проектов
von: Кузьмина, Н.В., et al.
Veröffentlicht: (2006)

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

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

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