|
Загалом робіт: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 |
