|
Загалом робіт:2087
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. Яфаев Виль Эмарович. XML-технология создания на Web-сервере персонализованных Word-документов на основе XSL-трансформации
Рік: 2009 965. Аксёнов Сергей Владимирович. Математическое и программное обеспечение распознавания многоэлементных зрительных сцен с использованием иерархических нейронных сетей
Рік: 2008 966. Апанасевич Дмитрий Александрович. Математическое и программное обеспечение асинхронной репликации данных реляционных СУБД методом выделения объектов
Рік: 2008 967. Арапбаев Русланбек Нурмаматович. Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования
Рік: 2008 968. Бабкова Варвара Вадимовна. Методология поддержки разработки эффективных параллельных программ
Рік: 2008 969. Баженов Михаил Михайлович. Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах
Рік: 2008 970. Батаев Алексей Владимирович. Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения
Рік: 2008 971. Бахтин Владимир Александрович. Гибридная модель параллельного программирования DVM/OpenMP
Рік: 2008 972. Белеванцев Андрей Андреевич. Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд
Рік: 2008 973. Болонкин Андрей Владимирович. Разработка диаграммно-сетевого метода синтеза структур интерактивных систем
Рік: 2008 974. Браништов Сергей Александрович. Исследование и разработка методов автоматизированного управления технологическими процессами и их конфигурациями в производствах поточного типа
Рік: 2008 975. Бугеря Александр Борисович. Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов
Рік: 2008 976. Бурдонов Игорь Борисович. Теория конформности для функционального тестирования программных систем на основе формальных моделей
Рік: 2008 977. Бурлаченко Татьяна Борисовна. Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области
Рік: 2008 978. Быстров Александр Васильевич. Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
Рік: 2008 979. Валеев Юрий Дамирович. Система распараллеливания алгоритмов компьютерной алгебры на основе арифметики полиномов
Рік: 2008 980. Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
Рік: 2008 981. Галазин Александр Борисович. Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова
Рік: 2008 982. Глазкова Валентина Владимировна. Исследование и разработка методов построения программных средств классификации многотемных гипертекстовых документов
Рік: 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 |
