|
Загалом робіт:2062
551. Тетерев, Михаил Александрович. Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения
Рік: 2013 552. Трифанов, Виталий Юрьевич. Динамическое обнаружение состояний гонки в многопоточных JAVA-программах
Рік: 2013 553. Тютин, Борис Викторович. Методы автоматизации распределённого тестирования реактивных систем
Рік: 2013 554. Федорищев, Леонид Александрович. Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред
Рік: 2013 555. Хатько, Евгений Евгеньевич. Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств
Рік: 2013 556. Четвёркин, Илья Игоревич. Автоматизированное формирование базы знаний для задачи анализа мнений
Рік: 2013 557. Чибисов, Петр Александрович. Встречное тестирование высокопроизводительных микропроцессоров
Рік: 2013 558. Чистиков, Павел Геннадьевич. Методы и алгоритмы гибридного синтеза естественной русской речи на основе скрытых марковских моделей и метода Unit Selection
Рік: 2013 559. Чуров, Тимофей Николаевич. Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака
Рік: 2013 560. Шахворостов, Георгий Ильич. Специальное математическое и программное обеспечение управления кэшированием данных на основе временных меток транзакций
Рік: 2013 561. Шестов, Пётр Евгеньевич. Совместное планирование вычислений и обменов в информационно-управляющих системах реального времени
Рік: 2013 562. Якушев, Андрей Владимирович. Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа
Рік: 2013 563. Абрамов, Николай Александрович. Программная система выявления нелегитимной активности на промышленных площадках
Рік: 2013 564. Антонов Дмитрий Вячеславович. Программный инструментарий для организации распределенной обработки данных в компьютерных сетях на основе семантической модели
Рік: 2013 565. Антонов, Алексей Евгеньевич. Способы и программные средства сравнения исполняемых файлов для их оперативной кластеризации
Рік: 2013 566. Аунг Аунг Хейн. Моделирование и разработка сервис-ориентированных приложений
Рік: 2013 567. Балашов, Иван Васильевич. Разработка архитектуры, алгоритмов и программного обеспечения для создания картографических интерфейсов, обеспечивающих распределенную обработку и анализ спутниковых данных
Рік: 2013 568. Будков, Виктор Юрьевич. Методы и программные средства аудиовизуальной обработки сигналов при сопровождении распределенных совещаний
Рік: 2013 569. Бычков, Иван Алексеевич. Планирование обменов в сетях с топологией кольца с арбитражем для систем реального времени
Рік: 2013 570. Васильев Антон Игоревич. ПРОГРАММНОЕ И АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИСТЕМ КОМПЬЮТЕРНОГО ВИДЕНИЯ С НЕСКОЛЬКИМИ ПОЛЯМИ ЗРЕНИЯ
Рік: 2013 571. Васильев, Алексей Владимирович. Разработка методов и программных средств реализации компонентной вычислительной среды для параллельного и распределённого моделирования режимов систем газоснабжения
Рік: 2013 572. Галушка, Василий Викторович. Метод и средства верификации баз данных на основе нейросетевых технологий
Рік: 2013 573. Гетьман, Александр Игоревич. Восстановление форматов сетевых сообщений и файлов по бинарным трассам программ
Рік: 2013 574. Гулин, Владимир Владимирович. Исследование и разработка методов и программных средств классификации текстовых документов
Рік: 2013 575. Гусаренко Артем Сергеевич. Обработка XML-документов в ситуационно-ориентированных базах данных на основе динамических DOM-объектов
Рік: 2013 576. Дьяченко, Евгений Анатольевич. Модели, способы и алгоритмы унификации программного обеспечения компьютерной сети на основе технологии виртуализации
Рік: 2013 577. Егоров, Кирилл Викторович. Генерация управляющих автоматов на основе генетического программирования и верификации
Рік: 2013 578. Ефремова, Наталья Эрнестовна. Методы и программные средства извлечения терминологической информации из научно-технических текстов
Рік: 2013 579. Заикин Данила Александрович. Терминологический поиск в коллекциях математических текстов
Рік: 2013 580. Зинин, Михаил Владимирович. Символьные алгоритмы и программы вычисления булевых базисов Грёбнера
Рік: 2013 581. Зубковская, Наталья Владимировна. Метод тестирования производительности и корректности микропроцессоров при помощи нацеленных тестовых программ
Рік: 2013 582. Исходжанов, Тимур Равилевич. Автоматический поиск ошибок в компьютерных программах с применением динамического анализа
Рік: 2013 583. КУЗЕННЫЙ Виктор Викторович. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНТЕЛЛЕКТУАЛЬНОЙ СИСТЕМЫ РАЗРАБОТКИ СЦЕНАРИЕВ ДЛЯ ГЕОИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ СЛОЖНЫХ ПРОЦЕССОВ
Рік: 2013 584. Каляев, Анатолий Игоревич. Методы и средства мультиагентного диспетчирования ресурсов GRID для решения связных задач
Рік: 2013 585. Капустин, Дмитрий Сергеевич. Модели и алгоритмы параллельных вычислений на графических процессорах и их применение в программных средствах автоматического тестирования графических приложений
Рік: 2013 586. Карпов, Алексей Анатольевич. Аудиовизуальные речевые интерфейсы в ассистивных информационных технологиях
Рік: 2013 587. Карпухин, Илья Николаевич. Исследование и реализация систем дискретно-событийного имитационного моделирования на основе графовых моделей
Рік: 2013 588. Каршиев, Зайнидин Абдувалиевич. Средства создания параллельных алгоритмов интеллектуального анализа данных
Рік: 2013 589. Катериненко, Роман Сергеевич. Средства и методы ускорения дедуктивного вывода в информационных системах с большим объемом данных
Рік: 2013 590. Коваленко, Алексей Геннадьевич. Препроцессор языка программирования высокого уровня для реконфигурируемых вычислительных систем
Рік: 2013 591. Ковтуненко Алексей Сергеевич. Промежуточное программное обеспечение распределённой обработки данных на основе агентной технологии
Рік: 2013 592. Копылов, Сергей Юрьевич. Методы и средства распараллеливания задач трехмерной сеточной визуализации многомассовых систем
Рік: 2013 593. Корж, Антон Александрович. Разработка и исследование методов достижения высокой степени масштабируемости суперкомпьютерных приложений
Рік: 2013 594. Кривовязь Глеб Робертович. Алгоритмы трехмерной реконструкции по изображениям и данным лазерного сканирования
Рік: 2013 595. Курмангалеев, Шамиль Фаимович. Автоматизация переноса Си/Си++-приложений на новые платформы
Рік: 2013 596. Лавров, Андрей Александрович. Метод и алгоритмы мониторинга вычислительных сетей на основе совместного анализа временных и функциональных характеристик стека протоколов TCP/IP
Рік: 2013 597. Лвин Маунг Со. Исследование методов и программных средств построения распределенных информационных систем
Рік: 2013 598. Литвинович, Артем Владимирович. Синтез визуальных объектов по естественно-языковому описанию на базе интегрированной онтологии
Рік: 2013 599. Макарова Екатерина Сергеевна. Функции аналитики в веб-приложениях на основе ситуационно-ориентированных баз данных
Рік: 2013 600. Максименко, Андрей Владимирович. Управление качеством обслуживания в сетях спутниковой связи при изменяющейся многоприоритетной нагрузке
Рік: 2013 |
