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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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