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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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