|
Всего работ: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 |
