|
Всего работ:2090
351. Маркин Юрий Витальевич. Методы и средства углубленного анализа сетевого трафика
Год: 2017 352. Михайлов Андрей Анатольевич. Методы декомпиляции объектного кода Delphi
Год: 2017 353. Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости
Год: 2017 354. Мосин Сергей Владимирович. Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений
Год: 2017 355. Павлов Владимир Александрович. Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
Год: 2017 356. Папилина Татьяна Михайловна. Разработка моделей и программных средств интеграции кроссплатформенных тонких клиентов в жизненный цикл промышленных программно-вычислительных комплексов моделирования
Год: 2017 357. Раткевич Ирина Сергеевна. Расширенный языковой сервис FRIS для программирования на языке FORTRAN в MICROSOFT VISUAL STUDIO
Год: 2017 358. Розанов Алексей Константинович. Математическое, алгоритмическое и программное обеспечение автоматического предсинтаксического анализа текста в системах управления базами лингвистических знаний
Год: 2017 359. Семенов Сергей Александрович. Технология программирования алгоритмов молекулярно-динамического моделирования наносистем на графических процессорах
Год: 2017 360. Сидорин Алексей Васильевич. Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора
Год: 2017 361. Татарников Андрей Дмитриевич. Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
Год: 2017 362. Тощев Александр Сергеевич. Интеллектуальная система повышения эффективности ит-службы предприятия
Год: 2017 363. Уральский Николай Борисович. Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода
Год: 2017 364. Федотов Андрей Николаевич. Разработка метода оценки эксплуатируемости программных дефектов
Год: 2017 365. Фурсова Наталья Игоревна. Методы мониторинга объектов операционной системы, выполняющейся в виртуальной машине
Год: 2017 366. Халиуллин Айрат Радикович. Разработка архитектурных решений, алгоритмов и программных инструментов организации взаимодействия компонентов распределенных компьютерных тренажеров, реализующих виртуальную среду профессиональной деятельности диспетчеров систем газонефтепроводов
Год: 2017 367. Хаустов Павел Александрович. Алгоритмы распознавания рукописных символов в условиях малой обучающей выборки
Год: 2017 368. Царёв Дмитрий Владимирович. Методы и программные средства анализа поведения пользователей при работе с текстовыми данными для решения задач информационной безопасности
Год: 2017 369. Чкан Андрей Викторович. Методы и средства создания параллельно-конвейерных программ с масштабируемой разрядностью для решения задач цифровой обработки сигналов на реконфигурируемых вычислительных системах
Год: 2017 370. Шорин Олег Николаевич. Методы и алгоритмы интеграции большого объема библиографических записей в открытое семантическое пространство
Год: 2017 371. Карпович, Сергей Николаевич Математическое и программное обеспечение вероятностного тематического моделирования потока текстовых документов
Год: 2017 372. Кошелев, Владимир Константинович Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C#
Год: 2017 373. Северинов Олег Викторович. Совершенствование процесса сушки зерна в бункерах активного вентилирования с использованием моделирования
Год: 2016 374. Акопян Манук Сосович. Инструментальные средства поддержки автоматизированной разработки параллельных программ
Год: 2016 375. Алфимцев Александр Николаевич. Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов
Год: 2016 376. Ахмед Али М Ахмед. Математическое и программное обеспечение процессов многокритериального формирования однородных классов данных в распределенной СУБД на базе нейронной сети
Год: 2016 377. Ачкасов Александр Владимирович. Теоретические основы многоальтернативных систем управления базами данных в условиях неполноты информации
Год: 2016 378. Бессонов Алексей Владимирович. Символьная спецификация и анализ программных моделей гибридных систем
Год: 2016 379. Бовкун Александр Викторович. Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем
Год: 2016 380. Бондаренко Максим Андреевич. Разработка методов и алгоритмов совмещения 2D и 3D информации для авиационных систем улучшенного и синтезированного видения
Год: 2016 381. Бородин Алексей Евгеньевич. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
Год: 2016 382. Брыксин Тимофей Александрович. Платформа для создания специализированных визуальных сред разработки программного обеспечения
Год: 2016 383. Бурлуцкая Мария Владимировна. Математическое и программное обеспечение обработки потоковых данных в распределенных системах на основе корреляционного разложения потока
Год: 2016 384. Вдовин Павел Максимович. Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания
Год: 2016 385. Гатилов Степан Юрьевич. Алгоритмы и программные средства для пересечения трёхмерных тел в граничном представлении
Год: 2016 386. Григорьев Семен Вячеславович. Синтаксический анализ динамически формируемых программ
Год: 2016 387. Григорьева Анастасия Викторовна. Инструменты аспектно-ориентированного программирования облачных веб-приложений в Microsoft Azure: разработка и реализация в системе Aspect.NET
Год: 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 |
