|
Загалом робіт:2089
951. Тимофеев Дмитрий Владимирович. Методы визуального построения и сопровождения информационных систем на основе иерархического расширения реляционной модели данных
Рік: 2009 952. Тихомиров Владимир Александрович. Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования
Рік: 2009 953. Тищенко Игорь Петрович. Алгоритмическое и программное обеспечение мультипроцессорных систем для распознавания графических образов на основе нейросетевого подхода
Рік: 2009 954. Торшин Дмитрий Вячеславович. Методы интеграции данных компьютерных систем на основе универсального формата обмена данными
Рік: 2009 955. Трошина Екатерина Николаевна. Исследование и разработка методов декомпиляции программ
Рік: 2009 956. Трутнев Евгений Владимирович. Математическое и программное обеспечение классификации текстов на основе морфологических признаков
Рік: 2009 957. Федорченко Людмила Николаевна. Регуляризация контекстно-свободных грамматик на основе эквивалентных преобразований синтаксических граф-схем
Рік: 2009 958. Филиппов Александр Николаевич. Методы удаления избыточностей на этапе компиляции программ
Рік: 2009 959. Фурса Максим Владимирович. Исследование и разработка математического и программного обеспечения оптических систем слежения реального времени для приложений виртуального окружения
Рік: 2009 960. Чеснавский, Александр Александрович. Инструментальные средства интеграции контента унаследованных веб-приложений в единое информационное пространство предприятия
Рік: 2009 961. Шалымов Дмитрий Сергеевич. Математическое обеспечение для разработки и анализа систем распознавания образов, использующих рандомизированные алгоритмы
Рік: 2009 962. Шмырев Николай Владимирович. Моделирование, сбор и анализ количественных характеристик функционирования распределенных разнородных аппаратно-программных комплексов
Рік: 2009 963. Шорников Юрий Владимирович. Прикладное математическое, алгоритмическое и программное обеспечение компьютерного анализа гибридных систем
Рік: 2009 964. Юсупов Юрий Вадимович. Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду
Рік: 2009 965. Явтухович Андрей Георгиевич. Разработка математического и программного обеспечения распределенного комплекса локализации опознавательных знаков движущихся объектов
Рік: 2009 966. Яфаев Виль Эмарович. XML-технология создания на Web-сервере персонализованных Word-документов на основе XSL-трансформации
Рік: 2009 967. Аксёнов Сергей Владимирович. Математическое и программное обеспечение распознавания многоэлементных зрительных сцен с использованием иерархических нейронных сетей
Рік: 2008 968. Апанасевич Дмитрий Александрович. Математическое и программное обеспечение асинхронной репликации данных реляционных СУБД методом выделения объектов
Рік: 2008 969. Арапбаев Русланбек Нурмаматович. Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования
Рік: 2008 970. Бабкова Варвара Вадимовна. Методология поддержки разработки эффективных параллельных программ
Рік: 2008 971. Баженов Михаил Михайлович. Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах
Рік: 2008 972. Батаев Алексей Владимирович. Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения
Рік: 2008 973. Бахтин Владимир Александрович. Гибридная модель параллельного программирования DVM/OpenMP
Рік: 2008 974. Белеванцев Андрей Андреевич. Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд
Рік: 2008 975. Болонкин Андрей Владимирович. Разработка диаграммно-сетевого метода синтеза структур интерактивных систем
Рік: 2008 976. Браништов Сергей Александрович. Исследование и разработка методов автоматизированного управления технологическими процессами и их конфигурациями в производствах поточного типа
Рік: 2008 977. Бугеря Александр Борисович. Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов
Рік: 2008 978. Бурдонов Игорь Борисович. Теория конформности для функционального тестирования программных систем на основе формальных моделей
Рік: 2008 979. Бурлаченко Татьяна Борисовна. Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области
Рік: 2008 980. Быстров Александр Васильевич. Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
Рік: 2008 981. Валеев Юрий Дамирович. Система распараллеливания алгоритмов компьютерной алгебры на основе арифметики полиномов
Рік: 2008 982. Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
Рік: 2008 983. Галазин Александр Борисович. Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова
Рік: 2008 984. Глазкова Валентина Владимировна. Исследование и разработка методов построения программных средств классификации многотемных гипертекстовых документов
Рік: 2008 985. Гончар Дмитрий Русланович. Методы планирования вычислений в САПР систем реального времени
Рік: 2008 986. Горский Сергей Алексеевич. Инструментальный комплекс для организации параллельных вычислений в интеллектуальных пакетах прикладных программ
Рік: 2008 987. Гражданцев Евгений Викторович. Транзакционная обработка данных в распределенных информационно-управляющих системах
Рік: 2008 988. Гранин Михаил Николаевич. Инструментальные средства создания элементов пользовательского интерфейса на основе семантического описания компьютерных пиктограмм
Рік: 2008 989. Гуров Вадим Сергеевич. Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний : метод, инструментальное средство, верификация
Рік: 2008 990. Гуров Валерий Валентинович. Разработка методов и средств анализа и обеспечения качества программных систем учебного назначения
Рік: 2008 991. Дауренбеков Куаныш Койшыгулович. Адаптивная обучающая программа для нефтегазовой отрасли
Рік: 2008 992. Деменков Павел Сергеевич. Математическое и программное обеспечение для реконструкции ассоциативных сетей молекулярно-генетических взаимодействий
Рік: 2008 993. Демин Александр Викторович. Логико-вероятностный метод извлечения знаний и его применение в задачах прогнозирования и управления
Рік: 2008 994. Динь Ле Дат. Разработка и реализация формальных онтологий пространственных данных и сервисов
Рік: 2008 995. Дубцов Роман Сергеевич. Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
Рік: 2008 996. Жирков Александр Олегович. Методы визуализации и сжатия дискретных моделей поверхностей
Рік: 2008 997. Зернов Михаил Михайлович. Методы и программные средства поддержки принятия решений на основе нечётких ситуационных сетей
Рік: 2008 998. Зуев Михаил Сергеевич. Блочные символьные матричные алгоритмы
Рік: 2008 999. Ильин Алексей Михайлович. Технология построения математического и программного обеспечения генерации окружающей обстановки для тренажерных комплексов
Рік: 2008 1000. Калачик Роман Александрович. Методы поиска графической информации в информационных системах
Рік: 2008 |
