Организация многоуровнего моделирования для верификации цифровых проектов
Исследуются методы расширения функциональных возможностей средств моделирования и мониторинга для разработки, отладки и верификации цифровых проектов. Рассматривается реализация моделирования алгоритма Витерби. Досліджується розширення функціональних можливостей засобів моделювання для розробки, нал...
Saved in:
| Published in: | Комп’ютерні засоби, мережі та системи |
|---|---|
| Date: | 2012 |
| Main Authors: | Семотюк, М.В., Чичирин, Е.Н., Сосненко, Е.П. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/46486 |
| 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: | Организация многоуровнего моделирования для верификации цифровых проектов / М.В. Семотюк, Е.Н. Чичирин, Е.П. Сосненко // Комп’ютерні засоби, мережі та системи. — 2012. — № 11. — С. 39-46. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Моделирующая среда для создания и отладки систем цифровой обработки
by: Палагин, А.В., et al.
Published: (2013)
by: Палагин, А.В., et al.
Published: (2013)
Acoustic Commander – интегрированная операционная среда для измерения и расчета акустических параметров
by: Палагин, А.В., et al.
Published: (2009)
by: Палагин, А.В., et al.
Published: (2009)
Организация фрактального моделирования
by: Большаков, В.И., et al.
Published: (2018)
by: Большаков, В.И., et al.
Published: (2018)
Параллельный алгоритм моделирования цифровых устройств с неисправностями для многоядерных систем с общей памятью
by: Иванов, Д.Е.
Published: (2011)
by: Иванов, Д.Е.
Published: (2011)
Контроллинг инвестиционных проектов
by: Толокновская, Е.Е.
Published: (1999)
by: Толокновская, Е.Е.
Published: (1999)
Реализация процесса верификации для разработки надежного программного обеспечения
by: Скляр, В.В., et al.
Published: (2006)
by: Скляр, В.В., et al.
Published: (2006)
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
by: Бибило, П.Н., et al.
Published: (2017)
by: Бибило, П.Н., et al.
Published: (2017)
Реинженерия проектов программного обеспечения
by: Сидоров, Н.А., et al.
Published: (2006)
by: Сидоров, Н.А., et al.
Published: (2006)
Системы верификации на основе реконфигурируемых устройств
by: Палагин, А.В., et al.
Published: (2004)
by: Палагин, А.В., et al.
Published: (2004)
Сравнительный анализ сред реализаций декодера сверточного кода
by: Сосненко, Е.П.
Published: (2015)
by: Сосненко, Е.П.
Published: (2015)
Об одном методе моделирования неопределенностей технико-экономических данных в задачах оценивания научно-технических проектов
by: Марченко, В.Т., et al.
Published: (2016)
by: Марченко, В.Т., et al.
Published: (2016)
Нарративная организация романа К. Вагинова "Козлиная песнь" (1928)
by: Карасёв, Е.Н.
Published: (2010)
by: Карасёв, Е.Н.
Published: (2010)
Алгоритм формальной верификации шаблонов бизнес-процессов
by: Варосян, А.С.
Published: (2011)
by: Варосян, А.С.
Published: (2011)
Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем
by: Лукьянова, Е.А.
Published: (2014)
by: Лукьянова, Е.А.
Published: (2014)
Снижение трудоемкости выполнения проектов подработки зданий
by: Блинникова, Е.В.
Published: (2008)
by: Блинникова, Е.В.
Published: (2008)
Организация контроля и сбора статистики имитационного моделирования технологических процессов опасного производства
by: Смородин, В.С.
Published: (2006)
by: Смородин, В.С.
Published: (2006)
Методология распознавания и верификации кризисов теплоотдачи в стержневых сборках
by: Долинский, А.А., et al.
Published: (2005)
by: Долинский, А.А., et al.
Published: (2005)
Распознавание структуры графических изображений блок-схем
by: Чичирин, Е.Н.
Published: (2017)
by: Чичирин, Е.Н.
Published: (2017)
Подсистема обработки и формирования аудио сигналов
by: Чичирин, Е.Н.
Published: (2016)
by: Чичирин, Е.Н.
Published: (2016)
Интеллектуальные методы в моделировании процессов принятия решений
by: Чичирин, Е.Н.
Published: (2018)
by: Чичирин, Е.Н.
Published: (2018)
Перестраиваемая структура декодера Витерби в базисе ПЛИС Xilinx
by: Чичирин, Е.Н.
Published: (2015)
by: Чичирин, Е.Н.
Published: (2015)
Аэрогазодинамическое сопровождение отдельных космических проектов
by: Басс, В.П.
Published: (2011)
by: Басс, В.П.
Published: (2011)
Использование результатов осуществления аудита эффективности для планирования программы реализации национальных проектов
by: Ваганова, О.Е.
Published: (2011)
by: Ваганова, О.Е.
Published: (2011)
Бюджетное финансирование инвестиционных проектов
by: Макарчева, О.А.
Published: (2013)
by: Макарчева, О.А.
Published: (2013)
Реализация проектов гидроэнергетики Украины
by: Сирота, И.Г.
Published: (2013)
by: Сирота, И.Г.
Published: (2013)
Оценка влияния реализации инвестиционных проектов на деятельность предприятий
by: Толокновская, Е.Е.
Published: (1999)
by: Толокновская, Е.Е.
Published: (1999)
Оптимизация проверки выполнимости переходов при верификации формальных моделей
by: Колчин, А.В.
Published: (2012)
by: Колчин, А.В.
Published: (2012)
Обзор современных систем и методов верификации формальных моделей
by: Колчин, А.В., et al.
Published: (2012)
by: Колчин, А.В., et al.
Published: (2012)
Модели верификации планов ликвидации аварий на угольных шахтах
by: Казимир, В.В., et al.
Published: (2012)
by: Казимир, В.В., et al.
Published: (2012)
Организация интеллектуального управления движениями кисти для восстановления речи
by: Вовк, М.И., et al.
Published: (2016)
by: Вовк, М.И., et al.
Published: (2016)
Методы синхронизации цифровых водяных знаков
by: Кошкина, Н.В.
Published: (2008)
by: Кошкина, Н.В.
Published: (2008)
Oценка эффективности инвестиционных проектов
by: Ефремова, А.А., et al.
Published: (2013)
by: Ефремова, А.А., et al.
Published: (2013)
Инженерный метод оптимизации цифровых систем управления
by: Голинко, И.М., et al.
Published: (2014)
by: Голинко, И.М., et al.
Published: (2014)
Проектирование и физическая верификация цифровых устройств на ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2008)
by: Опанасенко, В.Н., et al.
Published: (2008)
Совершенствование реализации проектов ликвидации горнодобывающих предприятий
by: Петренко, П.Я., et al.
Published: (2005)
by: Петренко, П.Я., et al.
Published: (2005)
Оценка эффективности инвестиционных проектов с использованием графоаналитического метода «Квадрат потенциала»
by: Добыкина, Е.К., et al.
Published: (2006)
by: Добыкина, Е.К., et al.
Published: (2006)
Классификация рисков, возникающих при осуществлении концессионных проектов
by: Погребняк, М.Н.
Published: (2009)
by: Погребняк, М.Н.
Published: (2009)
Оценка привлекательности инвестиционных проектов угледобывающего предприятия
by: Евдокимов, Ф.И., et al.
Published: (2011)
by: Евдокимов, Ф.И., et al.
Published: (2011)
Проблемы определения рейтинговой оценки инвестиционных проектов
by: Перзеке, Н.Б., et al.
Published: (1998)
by: Перзеке, Н.Б., et al.
Published: (1998)
Анализ безопасности систем цифровых водяных знаков
by: Кошкина, Н.В.
Published: (2011)
by: Кошкина, Н.В.
Published: (2011)
Similar Items
-
Моделирующая среда для создания и отладки систем цифровой обработки
by: Палагин, А.В., et al.
Published: (2013) -
Acoustic Commander – интегрированная операционная среда для измерения и расчета акустических параметров
by: Палагин, А.В., et al.
Published: (2009) -
Организация фрактального моделирования
by: Большаков, В.И., et al.
Published: (2018) -
Параллельный алгоритм моделирования цифровых устройств с неисправностями для многоядерных систем с общей памятью
by: Иванов, Д.Е.
Published: (2011) -
Контроллинг инвестиционных проектов
by: Толокновская, Е.Е.
Published: (1999)