Всего работ:2062
901. Найханова Лариса Владимировна. МЕТОДЫ И МОДЕЛИ АВТОМАТИЧЕСКОГО ПОСТРОЕНИЯ ОНТОЛОГИЙ НА ОСНОВЕ ГЕНЕТИЧЕСКОГО И АВТОМАТНОГО ПРОГРАММИРОВАНИЯ Год: 2009 902. Наумов Дмитрий Анатольевич. Математическое и программное обеспечение задач обнаружения аномалий в поведении автоматизированных систем обработки информации Год: 2009 903. Никифоров Андрей Юрьевич. Инструментальные средства синтеза языков и протоколов взаимодействия распределенных систем Год: 2009 904. Носов Виктор Павлович. Исследование и разработка методов построения и кэширования веб-приложений Год: 2009 905. Ольхович Лев Борисович. Распараллеливание дирижирующих бизнес-процессов Год: 2009 906. Пасечников Константин Алексеевич. Синтез оптимальных структур данных для алгоритмов решения комбинаторных задач на графах Год: 2009 907. Первин Артем Юрьевич. Система управления специализированными виртуальными инструментами с механизмами оптимального распределения вычислительных ресурсов Год: 2009 908. Петренко Евгений Игоревич. Компьютерное исследование динамических систем на основе метода символического образа Год: 2009 909. Полетыкин Алексей Григорьевич. Исследование и разработка методов и программных средств для информационно-управляющих систем верхнего блочного уровня Год: 2009 910. Привезенцев Алексей Иванович. Организация онтологических баз знаний и программное обеспечение для описания информационных ресурсов в молекулярной спектроскопии Год: 2009 911. Пудов Валерий Анатольевич. Математическое обеспечение системы взаимной проверки знаний с возможностью обнаружения проблемных ситуаций Год: 2009 912. Радченко Глеб Игоревич. Сервисно ориентированный подход к использованию систем инженерного проектирования и анализа в распределенных вычислительных средах Год: 2009 913. Редькин Андрей Владимирович. Методы асинхронного управления функционально-потоковыми параллельными вычислениями Год: 2009 914. Русановский Сергей Александрович. Математическое и программное обеспечение человеко-машинных интерфейсов для моделирования бортовых приборов и систем Год: 2009 915. Рыжков, Евгений Александрович. Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы Год: 2009 916. Савин Александр Николаевич. Формирование тестирующих программ с использованием сетей Петри-Маркова Год: 2009 917. Саломатина Наталья Васильевна. Методы и программные средства выделения и численного оценивания вариативности языковых единиц Год: 2009 918. Сачкова Елена Федоровна. Методы, алгоритмы и программы приближенного решения задачи управления Год: 2009 919. Сидоров Иван Александрович. Технология и инструментальные средства организации распределенных пакетов прикладных программ Год: 2009 920. Степанов Олег Георгиевич. Методы реализации автоматных объектно-ориентированных программ Год: 2009 921. Стрельников Константин Николаевич. Исследование и разработка алгоритмов для решения задачи устойчивого видеослежения в больших помещениях Год: 2009 922. Сумкин Константин Сергеевич. Модель разграничения прав доступа и программная реализация модели для компьютерных сетей Год: 2009 923. Телеснин Борис Анатольевич. Методы и средства организации обработки потоковой информации на распределенных гетерогенных вычислительных комплексах Год: 2009 924. Тимофеев Дмитрий Владимирович. Методы визуального построения и сопровождения информационных систем на основе иерархического расширения реляционной модели данных Год: 2009 925. Тихомиров Владимир Александрович. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования Год: 2009 926. Тищенко Игорь Петрович. Алгоритмическое и программное обеспечение мультипроцессорных систем для распознавания графических образов на основе нейросетевого подхода Год: 2009 927. Торшин Дмитрий Вячеславович. Методы интеграции данных компьютерных систем на основе универсального формата обмена данными Год: 2009 928. Трошина Екатерина Николаевна. Исследование и разработка методов декомпиляции программ Год: 2009 929. Трутнев Евгений Владимирович. Математическое и программное обеспечение классификации текстов на основе морфологических признаков Год: 2009 930. Федорченко Людмила Николаевна. Регуляризация контекстно-свободных грамматик на основе эквивалентных преобразований синтаксических граф-схем Год: 2009 931. Филиппов Александр Николаевич. Методы удаления избыточностей на этапе компиляции программ Год: 2009 932. Фурса Максим Владимирович. Исследование и разработка математического и программного обеспечения оптических систем слежения реального времени для приложений виртуального окружения Год: 2009 933. Чеснавский, Александр Александрович. Инструментальные средства интеграции контента унаследованных веб-приложений в единое информационное пространство предприятия Год: 2009 934. Шалымов Дмитрий Сергеевич. Математическое обеспечение для разработки и анализа систем распознавания образов, использующих рандомизированные алгоритмы Год: 2009 935. Шмырев Николай Владимирович. Моделирование, сбор и анализ количественных характеристик функционирования распределенных разнородных аппаратно-программных комплексов Год: 2009 936. Шорников Юрий Владимирович. Прикладное математическое, алгоритмическое и программное обеспечение компьютерного анализа гибридных систем Год: 2009 937. Юсупов Юрий Вадимович. Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду Год: 2009 938. Явтухович Андрей Георгиевич. Разработка математического и программного обеспечения распределенного комплекса локализации опознавательных знаков движущихся объектов Год: 2009 939. Яфаев Виль Эмарович. XML-технология создания на Web-сервере персонализованных Word-документов на основе XSL-трансформации Год: 2009 940. Аксёнов Сергей Владимирович. Математическое и программное обеспечение распознавания многоэлементных зрительных сцен с использованием иерархических нейронных сетей Год: 2008 941. Апанасевич Дмитрий Александрович. Математическое и программное обеспечение асинхронной репликации данных реляционных СУБД методом выделения объектов Год: 2008 942. Арапбаев Русланбек Нурмаматович. Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования Год: 2008 943. Бабкова Варвара Вадимовна. Методология поддержки разработки эффективных параллельных программ Год: 2008 944. Баженов Михаил Михайлович. Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах Год: 2008 945. Батаев Алексей Владимирович. Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения Год: 2008 946. Бахтин Владимир Александрович. Гибридная модель параллельного программирования DVM/OpenMP Год: 2008 947. Белеванцев Андрей Андреевич. Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд Год: 2008 948. Болонкин Андрей Владимирович. Разработка диаграммно-сетевого метода синтеза структур интерактивных систем Год: 2008 949. Браништов Сергей Александрович. Исследование и разработка методов автоматизированного управления технологическими процессами и их конфигурациями в производствах поточного типа Год: 2008 950. Бугеря Александр Борисович. Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов Год: 2008 |