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