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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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