1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Информационные технологии»
  5. Выпуск 2014 г. № 9
Формализация задачиотладки проектовцифровых систем Иванников А. Д.Стемпковский А. Л.2014 год

Формализация задачи отладки проектов цифровых систем
статья из журнала

Заказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Иванников, А. Д. Формализация задачи отладки проектов цифровых систем / А. Д. Иванников, А. Л. Стемпковский. - (Моделирование и оптимизация). - Текст : непосредственный // Информационные технологии. - 2014. - № 9. - С. 3-9. - Библиогр.: с. 9 (4 назв.). - ISSN 1684-6400.
Аннотация: Приведена модель требуемого внешнего поведения проектируемой цифровой системы, заданной схемой соединения цифровых блоков и программным обеспечением.
Год издания: 2014
Авторы: Иванников А. Д. , Стемпковский А. Л.
Источник: Информационные технологии
Выпуск: № 9
Номера страниц: 3-9
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

Похожие публикации

Сравнительный анализметодов отладкицифровых систем наэтапе проектирования Иванников А. Д.2020 год

Сравнительный анализ методов отладки цифровых систем на этапе проектирования

  • Иванников А. Д.
  • 2020 год
Анализ методовдекомпозиции задачиотладки проектовцифровых систем Иванников А. Д.2016 год

Анализ методов декомпозиции задачи отладки проектов цифровых систем

  • Иванников А. Д.
  • 2016 год
Эмуляторы каксредство отладкипрограммногообеспечения дляцифровых системуправления объектами Иванников А. Д.2021 год

Эмуляторы как средство отладки программного обеспечения для цифровых систем управления объектами

  • Иванников А. Д.
  • 2021 год

К проблеме оценки надежности сложных программных систем

  • Царев Р. Ю. и др.
  • 2015 год

Методы отладки и верификации функционально-потоковых параллельных программ

  • Удалова Ю. В. и др.
  • 2011 год
Использованиесофт-архитектур прирешении задачцифровой обработкисигналов нареконфигурируемыхвычислительныхсистемах Коваленко В. Б.Дордопуло А. И.Гудко В. А.2015 год

Использование софт-архитектур при решении задач цифровой обработки сигналов на реконфигурируемых…

  • Коваленко В. Б. и др.
  • 2015 год
Сравнение 12алгоритмовкластеризации данныхприменительно кзадаче кластеризациитекстов Скуратов А. К.Кошкин Д. Е.2014 год

Сравнение 12 алгоритмов кластеризации данных применительно к задаче кластеризации текстов

  • Скуратов А. К. и др.
  • 2014 год
Использованиегеоинформационныхсистем и технологийвизуализациипространственныхданных при разработкешельфовых… Поздняков А. П.Мещеряков А. В.Ракунов С. В.2015 год

Использование геоинформационных систем и технологий визуализации пространственных данных при…

  • Поздняков А. П. и др.
  • 2015 год

Показать ещё

"Цифровая экономика",мировая практикаразработкивысокоэффективныхцифровых системтелерадиовещания ипроблемы их… Дворкович А. В.Дворкович В. П.Седова М. А.2017 год

"Цифровая экономика", мировая практика разработки высокоэффективных цифровых систем…

  • Дворкович А. В. и др.
  • 2017 год
Интегрированныесистемы региональногопрограммирования иавтоматизация ихразработки Соломатин А. Н.2020 год

Интегрированные системы регионального программирования и автоматизация их разработки

  • Соломатин А. Н.
  • 2020 год
Архитектураинструмента длявизуального анализаспутниковых измеренийв поисковых задачах Корнева Н. Н.Назаров В. Н.Могилевский М. М.2020 год

Архитектура инструмента для визуального анализа спутниковых измерений в поисковых задачах

  • Корнева Н. Н. и др.
  • 2020 год
Автоматизированнаясистема формированиятопологическойинформации дляизготовлениякомплектафотошаблонов… Амирханов А. В.Гладких А. А.Глушко А. А.2016 год

Автоматизированная система формирования топологической информации для изготовления комплекта…

  • Амирханов А. В. и др.
  • 2016 год
Архитектуравиртуальной потоковойвычислительнойсистемы на основеинформационной моделинейросети Мышев А. В.2014 год

Архитектура виртуальной потоковой вычислительной системы на основе информационной модели нейросети

  • Мышев А. В.
  • 2014 год
Метод и реализациясистемы формализацииописания классаизображений методаминепараметрическойстатистики Касаткин С. С.Калайда В. Т.2019 год

Метод и реализация системы формализации описания класса изображений методами непараметрической…

  • Касаткин С. С. и др.
  • 2019 год
Сужение множестваПарето на основеметодов нечеткойлогики в задачахмногокритериальноговыбора Зак Ю. А.2014 год

Сужение множества Парето на основе методов нечеткой логики в задачах многокритериального выбора

  • Зак Ю. А.
  • 2014 год
Структура понятиянадежностивычислительнойсистемы Воеводин В. П.2013 год

Структура понятия надежности вычислительной системы

  • Воеводин В. П.
  • 2013 год