|
Загалом робіт:2089
351. Михайлов Андрей Анатольевич. Методы декомпиляции объектного кода Delphi
Рік: 2017 352. Мордань Виталий Олегович. Методы верификации программ на основе композиции задач достижимости
Рік: 2017 353. Мосин Сергей Владимирович. Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений
Рік: 2017 354. Павлов Владимир Александрович. Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
Рік: 2017 355. Папилина Татьяна Михайловна. Разработка моделей и программных средств интеграции кроссплатформенных тонких клиентов в жизненный цикл промышленных программно-вычислительных комплексов моделирования
Рік: 2017 356. Раткевич Ирина Сергеевна. Расширенный языковой сервис FRIS для программирования на языке FORTRAN в MICROSOFT VISUAL STUDIO
Рік: 2017 357. Розанов Алексей Константинович. Математическое, алгоритмическое и программное обеспечение автоматического предсинтаксического анализа текста в системах управления базами лингвистических знаний
Рік: 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. Кошелев, Владимир Константинович Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке C#
Рік: 2017 372. Северинов Олег Викторович. Совершенствование процесса сушки зерна в бункерах активного вентилирования с использованием моделирования
Рік: 2016 373. Акопян Манук Сосович. Инструментальные средства поддержки автоматизированной разработки параллельных программ
Рік: 2016 374. Алфимцев Александр Николаевич. Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов
Рік: 2016 375. Ахмед Али М Ахмед. Математическое и программное обеспечение процессов многокритериального формирования однородных классов данных в распределенной СУБД на базе нейронной сети
Рік: 2016 376. Ачкасов Александр Владимирович. Теоретические основы многоальтернативных систем управления базами данных в условиях неполноты информации
Рік: 2016 377. Бессонов Алексей Владимирович. Символьная спецификация и анализ программных моделей гибридных систем
Рік: 2016 378. Бовкун Александр Викторович. Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем
Рік: 2016 379. Бондаренко Максим Андреевич. Разработка методов и алгоритмов совмещения 2D и 3D информации для авиационных систем улучшенного и синтезированного видения
Рік: 2016 380. Бородин Алексей Евгеньевич. Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
Рік: 2016 381. Брыксин Тимофей Александрович. Платформа для создания специализированных визуальных сред разработки программного обеспечения
Рік: 2016 382. Бурлуцкая Мария Владимировна. Математическое и программное обеспечение обработки потоковых данных в распределенных системах на основе корреляционного разложения потока
Рік: 2016 383. Вдовин Павел Максимович. Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания
Рік: 2016 384. Гатилов Степан Юрьевич. Алгоритмы и программные средства для пересечения трёхмерных тел в граничном представлении
Рік: 2016 385. Григорьев Семен Вячеславович. Синтаксический анализ динамически формируемых программ
Рік: 2016 386. Григорьева Анастасия Викторовна. Инструменты аспектно-ориентированного программирования облачных веб-приложений в Microsoft Azure: разработка и реализация в системе Aspect.NET
Рік: 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. Мандрыкин Михаил Усамович. Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей
Рік: 2016 |
