|
Загалом робіт:2062
351. Бовкун Александр Викторович. Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем
Рік: 2016 352. Бондаренко Максим Андреевич. Разработка методов и алгоритмов совмещения 2D и 3D информации для авиационных систем улучшенного и синтезированного видения
Рік: 2016 353. Бородин Алексей Евгеньевич. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
Рік: 2016 354. Брыксин Тимофей Александрович. Платформа для создания специализированных визуальных сред разработки программного обеспечения
Рік: 2016 355. Бурлуцкая Мария Владимировна. Математическое и программное обеспечение обработки потоковых данных в распределенных системах на основе корреляционного разложения потока
Рік: 2016 356. Вдовин Павел Максимович. Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания
Рік: 2016 357. Гатилов Степан Юрьевич. Алгоритмы и программные средства для пересечения трёхмерных тел в граничном представлении
Рік: 2016 358. Григорьев Семен Вячеславович. Синтаксический анализ динамически формируемых программ
Рік: 2016 359. Григорьева Анастасия Викторовна. Инструменты аспектно-ориентированного программирования облачных веб-приложений в Microsoft Azure: разработка и реализация в системе Aspect.NET
Рік: 2016 360. Гусенков Александр Михайлович. Модели, методы и программные инструменты поиска в структурно размеченных текстах
Рік: 2016 361. Диковицкий Владимир Витальевич. Методы интерфейсной навигации и поиска нормативно-справочных документов в корпоративных информационных системах
Рік: 2016 362. До Ньят Зуй. Математическое и программное обеспечение процессов электронной таможни и мониторинга транспортных потоков на базе технологии радиочастотной идентификации в Социалистической Республике Вьетнам
Рік: 2016 363. Ермаков Михаил Кириллович. Методы повышения эффективности итеративного динамического анализа программ
Рік: 2016 364. Жильцов Никита Геннадьевич. Методы и алгоритмы поиска сущностей по ключевым словам в графовых базах знаний
Рік: 2016 365. Зо Лин Кхаинг. Методы и программные средства поиска информации на основе прецедентов в интеллектуальных поисковых системах
Рік: 2016 366. Зубов Максим Валерьевич. Модели и алгоритмы универсальных промежуточных представлений для статического анализа потока управления программ по их исходному коду
Рік: 2016 367. Калиновский Илья Андреевич. Метод нейросетевого детектирования лиц в видеопотоке сверхвысокого разрешения
Рік: 2016 368. Кознов Дмитрий Владимирович. Методология и инструментарий предметно-ориентированного моделирования
Рік: 2016 369. Колчин Максим Александрович. Метод, алгоритмы и архитектура программной системы обработки гетерогенных данных электронных устройств на основе онтологического подхода
Рік: 2016 370. Кривоконь Дмитрий Сергеевич. Математическое обеспечение систем оценки положения движущихся объектов с использованием рандомизированных алгоритмов стохастической оптимизации
Рік: 2016 371. Лапаев Максим Владимирович. Архитектура и реализация программных систем на основе семантических технологий для обработки медицинских данных
Рік: 2016 372. Литвинов Юрий Викторович. Методы и средства разработки графических предметно-ориентированных языков
Рік: 2016 373. Мандрыкин Михаил Усамович. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей
Рік: 2016 374. Меденников Иван Павлович. Методы, алгоритмы и программные средства распознавания русской телефонной спонтанной речи
Рік: 2016 375. Мелехова Анна Леонидовна. Управление физической памятью виртуальной машины
Рік: 2016 376. Насонов Денис Александрович. Эволюционные алгоритмы распределения больших данных в вычислительно-интенсивных задачах
Рік: 2016 377. Нгуен Ань Тхоай. Математическое и программное обеспечение межмодульного распределения нагрузки в системах доставки контента на основе СМО с изменяющейся интенсивностью обслуживания
Рік: 2016 378. Нгуен Сон Лам. Математическое и программное обеспечение минимизации запросов для распределения виртуальной пропускной способности вероятностных баз данных
Рік: 2016 379. Нокель Михаил Алексеевич. Методы улучшения вероятностных тематических моделей текстовых коллекций на основе лексико-терминологической информации
Рік: 2016 380. Пакулова Екатерина Анатольевна. Алгоритмы и программные средства повышения эффективности передачи мультимедийных данных в беспроводных компьютерных сетях
Рік: 2016 381. Пашковская Елена Сергеевна. Математическое и программное обеспечение мультиверсионной информационной системы с универсальной структурой интерфейсов на основе маркированной сети Петри
Рік: 2016 382. Пелипец Андрей Владимирович. Методы и средства решения задач линейной алгебры на вы-сокопроизводительных реконфигурируемых вычислительных системах
Рік: 2016 383. Петухов Илья Витальевич. Представление алгоритмов интеллектуального анализа данных и их реализация в распределенных средах на основе модели акторов
Рік: 2016 384. Савельев Антон Игоревич. Архитектуры, алгоритмы и программные средства обработки потоков многомодальных данных в пиринговых веб-приложениях видеоконференцсвязи
Рік: 2016 385. Саргсян Севак Сеникович. Методы поиска клонов кода и семантических ошибок на основе семантического анализа программы
Рік: 2016 386. Сиднев Алексей Александрович. Технология быстрого прототипирования программ на основе многовариантных программных компонент
Рік: 2016 387. Скородумов Юрий Михайлович. Назначение и планирование заданий в распределенных системах реального времени
Рік: 2016 388. Смирнов Валентин Александрович. Автоматизированная система анализа неструктурированной речевой информации с применением лингвистических знаний
Рік: 2016 389. Тутубалина Елена Викторовна. Методы извлечения и резюмирования критических отзывов пользователей о продукции
Рік: 2016 390. Тхай Фыонг Чук. Управление перемещением заданий в распределенном межмодульном взаимодействии на основе стратегий смешанных приоритетов с переключением классов
Рік: 2016 391. Фахруллина Альмира Раисовна. Модели и методы проектирования
программных систем для обработки разнородных
данных (на примере программного обеспечения
образовательно-производственной среды)
Рік: 2016 392. Федюков Максим Александрович. Алгоритмы построения модели головы человека по изображениям для систем виртуальной реальности
Рік: 2016 393. Халиуллина Дарья Николаевна. Математическое и программное обеспечение поддержки управления развитием малых инновационных предприятий
Рік: 2016 394. Шаповалов Олег Владимирович. Методы и средства сокращения времени реализации параллельных программ для многопроцессорных вычислительных систем с общей памятью
Рік: 2016 395. Шашев Дмитрий Вадимович. Алгоритмы динамически перестраиваемых вычислительных сред для обработки изображений
Рік: 2016 396. Шипов Андрей Александрович. Исследование и разработка семантических методов анализа распределенных программ
Рік: 2016 397. Юрушкин Михаил Викторович. Оптимизация размещения массивов в общей памяти
Рік: 2016 398. Мажара Ольга Олександрівна. ПРОГРАМНИЙ ІНСТРУМЕНТАРІЙ РОЗРОБКИ ПРОДУКЦІЙНИХ СИСТЕМ З УРАХУВАННЯМ ОБМЕЖЕНИХ РЕСУРСІВ
Рік: 2016 399. Стеняшин Андрій Юрійович. Методи зборки програмних систем з функціональних та інтерфейсних об'єктів зі стандартними та згенерованими даними.
Рік: 2016 400. Компан Сергій Володимирович. Композиційна семантика ядра об'єктних баз даних
Рік: 2016 |
