|
Загалом робіт:2062
501. Недолужко Илья Валерьевич. Интеграция ресурсов спутникового центра в информационные системы наблюдения за Землей
Рік: 2014 502. Никитенко Дмитрий Александрович. Комплексный подход к исследованию причин и признаков снижения эффективности суперкомпьютерных приложений и систем на основе данных системного мониторинга
Рік: 2014 503. Палагин Владимир Владимирович. Математическое и программное обеспечение распределения данных в проблемно-ориентированных параллельных программах
Рік: 2014 504. Перминов Илья Валентинович. Алгоритмические и программные средства компрессии текстур на графических процессорах
Рік: 2014 505. Петров Сергей Андреевич. Исследование и разработка методов и средств создания эталонов для оценки защищённости корпоративных программных систем
Рік: 2014 506. Платонов Юрий Георгиевич. МЕТОДЫ ОБЕСПЕЧЕНИЯ ИНТЕГРАЦИИ РАСПРЕДЕЛЕННЫХ СЛАБОСВЯЗАННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ
Рік: 2014 507. Рубан Константин Алексеевич. Исследование и разработка методов и программных средств обеспечения интероперабельности в области электронного обучения (на примере Магнитогорского государственного технического университета имени Г.И. Носова)
Рік: 2014 508. Сивоголовко Елена Владимировна. Оценка качества кластеризации в задачах интеллектуального анализа данных
Рік: 2014 509. Смирнов Павел Алексеевич. Проектирование и разработка предметно-ориентированных композитных приложений в распределенных облачных средах на основе виртуальных моделирующих объектов
Рік: 2014 510. Смирнов Павел Андреевич. Проектирование и разработка предметно-ориентированных композитных приложений в распределенных облачных средах на основе виртуальных моделирующих объектов
Рік: 2014 511. Удалова Юлия Васильевна. Отладка и верификация функционально-потоковых параллельных программ
Рік: 2014 512. Фереферов Евгений Сергеевич. Технология автоматизации создания приложений баз данных с ГИС-функциональностью на основе их декларативных спецификаций
Рік: 2014 513. Хлаинг Мьинт Тан. Оптимизация обработки вложенных запросов в многопроцессорной базе данных
Рік: 2014 514. Хусаинов Айдар Фаилович. ТЕХНОЛОГИЯ АВТОМАТИЗАЦИИ СОЗДАНИЯ И ОЦЕНКИ КАЧЕСТВА ПРОГРАММНЫХ СРЕДСТВ АНАЛИЗА РЕЧИ С УЧЕТОМ ОСОБЕННОСТЕЙ МАЛОРЕСУРСНЫХ ЯЗЫКОВ
Рік: 2014 515. Чернов Андрей Федорович. Анализ и разработка индекса для поиска последовательностей элементов произвольного типа по их фрагментам в реляционных базах данных
Рік: 2014 516. Чернухин Никита Андреевич. Математические и программные средства обработки рентгенографических медицинских изображений
Рік: 2014 517. Чистяков Геннадий Андреевич. Метод и машина логического вывода для формальной верификации параллельных алгоритмов
Рік: 2014 518. Шамакина Анастасия Валерьевна. Методы управления ресурсами в проблемно-ориентированных распределенных вычислительных средах
Рік: 2014 519. Шамаль Павел Николаевич. Разработка и исследование методов и программных средств параллельного выполнения функциональных программ на многоядерных компьютерах
Рік: 2014 520. Шарабайко Максим Павлович. Алгоритмическое и программное обеспечение системы сжатия видеопоследовательностей, созданной в рамках стандарта H.265/HEVC
Рік: 2014 521. Шичкина Юлия Александровна. Методы создания и эквивалентных преобразований параллельных программ с учетом информационных зависимостей
Рік: 2014 522. Штейнберг, Олег Борисович. Распараллеливание циклов допускающих рекуррентные зависимости
Рік: 2014 523. Щапов Владислав Алексеевич. Модели, методы и программное обеспечение обработки интенсивного потока экспериментальных данных на суперкомпьютере
Рік: 2014 524. Якименко Александр Александрович. АЛГОРИТМЫ И ПРОГРАММНЫЙ ИНСТРУМЕНТАРИЙ ДЛЯ ГИБРИДНЫХ СУПЕР-ЭВМ В ЗАДАЧАХ ОБНАРУЖЕНИЯ ПОДЗЕМНЫХ ПОЛОСТЕЙ И АНАЛИЗА ГЕНЕТИЧЕСКИХ ДАННЫХ
Рік: 2014 525. Логачева Варвара Константиновна. Исследование и разработка методов автоматизации процессов практической транскрипции имен собственных
Рік: 2013 526. Лукинова, Ольга Васильевна. Компьютерные модели и алгоритмы управления безопасностью информационных систем
Рік: 2013 527. Мизгулин Вячеслав Владимирович. Разработка математического, алгоритмического и программного обеспечения для имитационного моделирования микроструктуры керна
Рік: 2013 528. Минашкин, Сергей Александрович. Математическое и программное обеспечение интеллектуальных поисковых систем на основе использования мультиагентной архитектуры
Рік: 2013 529. Мозгачев, Алексей Васильевич. Исследование и разработка моделей, методов и программных средств темпорального вывода в динамических интегрированных экспертных системах
Рік: 2013 530. Моросанова, Наталья Александровна. Методы вычисления оценок уверенности формально построенных выводов
Рік: 2013 531. Нгуен Тин Чунг. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ БЕЗОПАСНОГО ФУНКЦИОНИРОВАНИЯ СРЕДСТВ ПЕРЕВОЗКИ ПРИ ЭКСПЛУАТАЦИИ ВО ВЬЕТНАМЕ
Рік: 2013 532. Никифоров, Игорь Валерьевич. Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций
Рік: 2013 533. Новиков, Евгений Михайлович. Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX
Рік: 2013 534. Новоселов, Юрий Владимирович. Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений
Рік: 2013 535. Нураев, Имангазали Юнусович. Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования
Рік: 2013 536. Павлов, Евгений Геннадьевич. Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
Рік: 2013 537. Пан, Константин Сергеевич. Методы внедрения фрагментного параллелизма в последовательную СУБД с открытым исходным кодом
Рік: 2013 538. Потапов, Кирилл Борисович. Построение системы поддержки регламентов на базе языка запросов GSQL
Рік: 2013 539. Притула Михаил Николаевич. Отображение DVMH-программ на кластеры с графическими процессорами
Рік: 2013 540. Прищепа, Мария Викторовна. Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания
Рік: 2013 541. Речистов, Григорий Сергеевич. Разработка методов моделирования для оценки производительности суперкомпьютерных систем для параллельных приложений с однородным характером поведения
Рік: 2013 542. Ронжин Александр Леонидович. МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА АВТОМАТИЗАЦИИ АУДИОВИЗУАЛЬНОГО МОНИТОРИНГА УЧАСТНИКОВ МЕРОПРИЯТИЙ В ИНТЕЛЛЕКТУАЛЬНОМ ЗАЛЕ
Рік: 2013 543. Рубина, Ирина Семеновна. Разработка и исследование методов и алгоритмов устранения избыточности видеопоследовательностей на основе сегментации видеоданных
Рік: 2013 544. Рыбаков, Алексей Анатольевич. Методы и алгоритмы оптимизации переходов в компиляторе базового уровня системы двоичной трансляции для архитектуры "Эльбрус"
Рік: 2013 545. Рябенко, Анна Андреевна. Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов
Рік: 2013 546. Сивов, Анатолий Александрович. Разработка, реализация и анализ производительности модифицированного транспортного протокола
Рік: 2013 547. Синдеев Михаил Сергеевич. Исследование и разработка алгоритмов матирования видеопоследовательности
Рік: 2013 548. Соловьев, Михаил Александрович. Восстановление алгоритма по набору бинарных трасс
Рік: 2013 549. Старичкова, Юлия Викторовна. Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем
Рік: 2013 550. Сухов, Александр Олегович. Разработка инструментальных средств создания визуальных предметно-ориентированных языков
Рік: 2013 |
