|
Загалом робіт:2089
601. Гулин, Владимир Владимирович. Исследование и разработка методов и программных средств классификации текстовых документов
Рік: 2013 602. Гусаренко Артем Сергеевич. Обработка XML-документов в ситуационно-ориентированных базах данных на основе динамических DOM-объектов
Рік: 2013 603. Дьяченко, Евгений Анатольевич. Модели, способы и алгоритмы унификации программного обеспечения компьютерной сети на основе технологии виртуализации
Рік: 2013 604. Егоров, Кирилл Викторович. Генерация управляющих автоматов на основе генетического программирования и верификации
Рік: 2013 605. Ефремова, Наталья Эрнестовна. Методы и программные средства извлечения терминологической информации из научно-технических текстов
Рік: 2013 606. Заикин Данила Александрович. Терминологический поиск в коллекциях математических текстов
Рік: 2013 607. Зинин, Михаил Владимирович. Символьные алгоритмы и программы вычисления булевых базисов Грёбнера
Рік: 2013 608. Зубковская, Наталья Владимировна. Метод тестирования производительности и корректности микропроцессоров при помощи нацеленных тестовых программ
Рік: 2013 609. Исходжанов, Тимур Равилевич. Автоматический поиск ошибок в компьютерных программах с применением динамического анализа
Рік: 2013 610. КУЗЕННЫЙ Виктор Викторович. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ РАЗРАБОТКИ СЦЕНАРИЕВ ДЛЯ ГЕОИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ СЛОЖНЫХ ПРОЦЕССОВ
Рік: 2013 611. Каляев, Анатолий Игоревич. Методы и средства мультиагентного диспетчирования ресурсов GRID для решения связных задач
Рік: 2013 612. Капустин, Дмитрий Сергеевич. Модели и алгоритмы параллельных вычислений на графических процессорах и их применение в программных средствах автоматического тестирования графических приложений
Рік: 2013 613. Карпов, Алексей Анатольевич. Аудиовизуальные речевые интерфейсы в ассистивных информационных технологиях
Рік: 2013 614. Карпухин, Илья Николаевич. Исследование и реализация систем дискретно-событийного имитационного моделирования на основе графовых моделей
Рік: 2013 615. Каршиев, Зайнидин Абдувалиевич. Средства создания параллельных алгоритмов интеллектуального анализа данных
Рік: 2013 616. Катериненко, Роман Сергеевич. Средства и методы ускорения дедуктивного вывода в информационных системах с большим объемом данных
Рік: 2013 617. Коваленко, Алексей Геннадьевич. Препроцессор языка программирования высокого уровня для реконфигурируемых вычислительных систем
Рік: 2013 618. Ковтуненко Алексей Сергеевич. Промежуточное программное обеспечение распределённой обработки данных на основе агентной технологии
Рік: 2013 619. Копылов, Сергей Юрьевич. Методы и средства распараллеливания задач трехмерной сеточной визуализации многомассовых систем
Рік: 2013 620. Корж, Антон Александрович. Разработка и исследование методов достижения высокой степени масштабируемости суперкомпьютерных приложений
Рік: 2013 621. Кривовязь Глеб Робертович. Алгоритмы трехмерной реконструкции по изображениям и данным лазерного сканирования
Рік: 2013 622. Курмангалеев, Шамиль Фаимович. Автоматизация переноса Си/Си++-приложений на новые платформы
Рік: 2013 623. Лавров, Андрей Александрович. Метод и алгоритмы мониторинга вычислительных сетей на основе совместного анализа временных и функциональных характеристик стека протоколов TCP/IP
Рік: 2013 624. Лвин Маунг Со. Исследование методов и программных средств построения распределенных информационных систем
Рік: 2013 625. Литвинович, Артем Владимирович. Синтез визуальных объектов по естественно-языковому описанию на базе интегрированной онтологии
Рік: 2013 626. Макарова Екатерина Сергеевна. Функции аналитики в веб-приложениях на основе ситуационно-ориентированных баз данных
Рік: 2013 627. Максименко, Андрей Владимирович. Управление качеством обслуживания в сетях спутниковой связи при изменяющейся многоприоритетной нагрузке
Рік: 2013 628. Медведев, Роман Евгеньевич. Алгоритмы автоматизированного формирования баз знаний для систем дистанционного обучения
Рік: 2013 629. Мельман, Сергей Владимирович. Разработка и исследование алгоритмов и программных средств визуализации объемов
Рік: 2013 630. Мешков, Алексей Николаевич. Методы и средства программного моделирования для обеспечения процесса проектирования микропроцессорных систем
Рік: 2013 631. Білоус Роман Володимирович. Метод створення автоматичної динамічної системи балансування навантаження в мережі на основі генетичних алгоритмів
Рік: 2013 632. Ломов, Эдуард Олегович. Программное обеспечение процессов управления медиапотоками в условиях гетерогенности информационных систем реального времени
Рік: 2012 633. Лопатин, Роман Сергеевич. Математическое и программное обеспечение планирования задач распределенной вычислительной системы на основе мультиагентного подхода
Рік: 2012 634. Марьясов, Илья Владимирович. Верификация С-программ с помощью смешанной аксиоматической семантики
Рік: 2012 635. Махнычев, Владимир Сергеевич. Распараллеливание алгоритмов ретроанализа для решения переборных задач в вычислительных системах без общей памяти
Рік: 2012 636. Маштаков, Алексей Павлович. Математическое и программное обеспечение задач управления в робототехнике с приложением к машинной графике
Рік: 2012 637. Мутилин, Вадим Сергеевич. Верификация драйверов операционной системы Linux при помощи предикатных абстракций
Рік: 2012 638. Мьо Тант. Управление производительностью параллельной вычислительной системы при обработке запросов
Рік: 2012 639. Нгуен Ба Нгок. Модели и методы поиска информационных ресурсов с использованием семантических технологий
Рік: 2012 640. Нгуен Ван Доан. Разработка инструментов поддержки аспектно-ориентированного Web-программирования в системе Aspect.NET
Рік: 2012 641. Недоводеев, Константин Владимирович. Методы построения пакетов прикладных программ для неоднородных многоядерных процессоров
Рік: 2012 642. Никитина Галина Николаевна. Применение теории сетей петри-маркова в организации параллельных поисковых процессов
Рік: 2012 643. Новиков, Александр Петрович. Организация сетевых структур знаний, поддерживающая их редактирование
Рік: 2012 644. Новиков, Дмитрий Борисович. Метод и алгоритмы принятия решений при управлении сложными объектами на основе экспертных систем
Рік: 2012 645. Ордынцев, Павел Анатольевич. Математическое и программное обеспечение интеграции независимых информационных систем образовательного учреждения в единый гетерогенный информационный комплекс
Рік: 2012 646. Переславцева, Оксана Николаевна. Вычисление характеристических полиномов плотных матриц : последовательные и параллельные алгоритмы
Рік: 2012 647. Пинчер, Денис Владимирович. Математическое и программное обеспечение систем управления базами знаний интеллектуальных систем прогнозирования
Рік: 2012 648. Подкорытов, Дмитрий Игоревич. Разработка отказоустойчивых мульти-агентных средств имитационного моделирования систем с дискретными событиями
Рік: 2012 649. Поляков, Станислав Петрович. Символьные алгоритмы, связанные с задачами суммирования
Рік: 2012 650. Пыхалов, Александр Владимирович. Методы и средства интеграции независимых баз данных в распределенных сетях TCP/IP
Рік: 2012 |
