График выхода изданий
  • №4 Декабрь 2024
  • №1 Март 2025
  • №2 Июнь 2025
  • №3 Сентябрь 2025

Обзор природных вычислений: основные направления и тенденции

Интеллектуальные технологии
  • 680
  • 7001
  • Страницы: 9-22

Определение размеров стопы человека по фотографиям

Интеллектуальные технологии
  • 556
  • 6579
  • Страницы: 23-30

Адаптивные средства защиты компьютерных систем на основе модифицированных нейронных сетей Кохонена

Инфокоммуникационные технологии
  • 602
  • 6807
  • Страницы: 31-38

Оценка вероятности ошибки в канале связи на основе рекуррентных свойств сверточных кодов

Проблемы передачи и обработки информации
  • 576
  • 6746
  • Страницы: 39-44

Повышение помехоустойчивости когерентного приема неортогональных многочастотных сигналов

Проблемы передачи и обработки информации
  • 863
  • 7550
  • Страницы: 45-54

Модель варикапа для разработки сверхширокополосных перестраиваемых генераторов СВЧ

Радиотехника, антенны, СВЧ-устройства
  • 687
  • 6960
  • Страницы: 55-60

Локационное обнаружение гололеда на воздушных линиях электропередачи. Часть 1. Способы обнаружения гололеда

Радиотехника, антенны, СВЧ-устройства
  • 949
  • 7323
  • Страницы: 61-73

Локационное обнаружение гололеда на воздушных линиях электропередачи. Часть 2. Предельная чувствительность и выбор уставок

Радиотехника, антенны, СВЧ-устройства
  • 308
  • 6523
  • Страницы: 74-84

Синтез сигналов с заданным коэффициентом гармоник

Радиотехника, антенны, СВЧ-устройства
  • 381
  • 6219
  • Страницы: 85-90

Многокритериальная параметрическая оптимизация цифровых регуляторов с учетом нелинейностей и действия внешних возмущений

Системный анализ и управление
  • 343
  • 6485
  • Страницы: 91-98

Восстановление работоспособности резервированных многоагентных систем

Вычислительные машины и программное обеспечение
  • 258
  • 6409
  • Страницы: 99-109

Онтология сборки, конфигурации окружения и запуска программного обеспечения и ее применение при автоматизации развертывания клиентских программ в вычислительных облаках

Вычислительные машины и программное обеспечение
  • 351
  • 6672
  • Страницы: 110-125

Конференция «Инструменты и методы анализа программ – 2013»

Конференция «Инструменты и методы анализа программ – 2013»
  • 1
  • 6022
  • Страницы: 129-129

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

Конференция «Инструменты и методы анализа программ – 2013»
  • 330
  • 6431
  • Страницы: 130-142

Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем

Конференция «Инструменты и методы анализа программ – 2013»
  • 280
  • 6370
  • Страницы: 143-152

Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)

Конференция «Инструменты и методы анализа программ – 2013»
  • 288
  • 6157
  • Страницы: 153-168

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Конференция «Инструменты и методы анализа программ – 2013»
  • 465
  • 6827
  • Страницы: 169-179

Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS

Конференция «Инструменты и методы анализа программ – 2013»
  • 353
  • 6490
  • Страницы: 180-188

Динамическая верификация гибридных систем

Конференция «Инструменты и методы анализа программ – 2013»
  • 746
  • 6927
  • Страницы: 189-203