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