Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Подписаться на обновления

Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов	Быков Сергей Анатольевич	2017
Семантические технологии больших данных для многомасштабного моделирования в распределенных вычислительных средах	Вишератин Александр Александрович	2017
Метод выбора сбалансированного набора модулей распределенной вычислительной системы и механизмов обеспечения отказоустойчивости	Волканов Дмитрий Юрьевич	2017
Модели проектирования программной инфраструктуры интеллектуального пространства для ресурсно-ограниченных вычислительных сред	Галов Иван Викторович	2017
Сокращение длины критических путей при динамической трансляции двоичных кодов	Гимпельсон Вадим Дмитриевич	2017
Математическое и программное обеспечение для управления базами знаний на основе многоуровневых семантических моделей гетерогенных информационных ресурсов	Грегер Сергей Эдуардович	2017
Преобразование видеопоследовательностей, содержащих объекты с полупрозрачными границами, в стереоскопический формат	Ерофеев Михаил Викторович	2017
Методы и инструменты декларативного программирования динамических Web-узлов и приложений	Кейно Павел Петрович	2017
Математическое и программное обеспечение визуального анализа графовой информации сети взаимодействующих объектов	Коломейченко Максим Игоревич	2017
Сеточно-операторный подход к программированию задач математической физики	Краснов Михаил Михайлович	2017
Методы, алгоритмы и программные инструменты достижения интероперабельности прикладного программного обеспечения на основе частотного анализа данных	Мальшаков Григорий Викторович	2017
Методы и средства углубленного анализа сетевого трафика	Маркин Юрий Витальевич	2017
Методы декомпиляции объектного кода Delphi	Михайлов Андрей Анатольевич	2017
Методы верификации программ на основе композиции задач достижимости	Мордань Виталий Олегович	2017
Методы и алгоритмы формирования многомерных данных с использованием промежуточных представлений	Мосин Сергей Владимирович	2017
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова	Павлов Владимир Александрович	2017
Разработка моделей и программных средств интеграции кроссплатформенных тонких клиентов в жизненный цикл промышленных программно-вычислительных комплексов моделирования	Папилина Татьяна Михайловна	2017
Расширенный языковой сервис FRIS для программирования на языке FORTRAN в MICROSOFT VISUAL STUDIO	Раткевич Ирина Сергеевна	2017
Математическое, алгоритмическое и программное обеспечение автоматического предсинтаксического анализа текста в системах управления базами лингвистических знаний	Розанов Алексей Константинович	2017
Технология программирования алгоритмов молекулярно-динамического моделирования наносистем на графических процессорах	Семенов Сергей Александрович	2017
Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора	Сидорин Алексей Васильевич	2017
Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций	Татарников Андрей Дмитриевич	2017
Интеллектуальная система повышения эффективности ит-службы предприятия	Тощев Александр Сергеевич	2017
Разработка моделей и алгоритмов составления оптимальных расписаний выполнения программных модулей в вычислительной сети на основе эволюционного подхода	Уральский Николай Борисович	2017
Разработка метода оценки эксплуатируемости программных дефектов	Федотов Андрей Николаевич	2017
Методы мониторинга объектов операционной системы, выполняющейся в виртуальной машине	Фурсова Наталья Игоревна	2017
Разработка архитектурных решений, алгоритмов и программных инструментов организации взаимодействия компонентов распределенных компьютерных тренажеров, реализующих виртуальную среду профессиональной деятельности диспетчеров систем газонефтепроводов	Халиуллин Айрат Радикович	2017
Алгоритмы распознавания рукописных символов в условиях малой обучающей выборки	Хаустов Павел Александрович	2017
Методы и программные средства анализа поведения пользователей при работе с текстовыми данными для решения задач информационной безопасности	Царёв Дмитрий Владимирович	2017
Методы и средства создания параллельно-конвейерных программ с масштабируемой разрядностью для решения задач цифровой обработки сигналов на реконфигурируемых вычислительных системах	Чкан Андрей Викторович	2017
Методы и алгоритмы интеграции большого объема библиографических записей в открытое семантическое пространство	Шорин Олег Николаевич	2017
Инструментальные средства поддержки автоматизированной разработки параллельных программ	Акопян Манук Сосович	2016
Декларативно-процессная технология разработки интеллектуальных мультимодальных интерфейсов	Алфимцев Александр Николаевич	2016
Математическое и программное обеспечение процессов многокритериального формирования однородных классов данных в распределенной СУБД на базе нейронной сети	Ахмед Али М Ахмед	2016
Теоретические основы многоальтернативных систем управления базами данных в условиях неполноты информации	Ачкасов Александр Владимирович	2016
Символьная спецификация и анализ программных моделей гибридных систем	Бессонов Алексей Владимирович	2016
Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем	Бовкун Александр Викторович	2016
Разработка методов и алгоритмов совмещения 2D и 3D информации для авиационных систем улучшенного и синтезированного видения	Бондаренко Максим Андреевич	2016
Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++	Бородин Алексей Евгеньевич	2016
Платформа для создания специализированных визуальных сред разработки программного обеспечения	Брыксин Тимофей Александрович	2016
Математическое и программное обеспечение обработки потоковых данных в распределенных системах на основе корреляционного разложения потока	Бурлуцкая Мария Владимировна	2016
Жадные алгоритмы и стратегии ограниченного перебора для планирования вычислений в системах с жесткими требованиями к качеству обслуживания	Вдовин Павел Максимович	2016
Алгоритмы и программные средства для пересечения трёхмерных тел в граничном представлении	Гатилов Степан Юрьевич	2016
Синтаксический анализ динамически формируемых программ	Григорьев Семен Вячеславович	2016
Инструменты аспектно-ориентированного программирования облачных веб-приложений в Microsoft Azure: разработка и реализация в системе Aspect.NET	Григорьева Анастасия Викторовна	2016
Модели, методы и программные инструменты поиска в структурно размеченных текстах	Гусенков Александр Михайлович	2016
Методы интерфейсной навигации и поиска нормативно-справочных документов в корпоративных информационных системах	Диковицкий Владимир Витальевич	2016
Математическое и программное обеспечение процессов электронной таможни и мониторинга транспортных потоков на базе технологии радиочастотной идентификации в Социалистической Республике Вьетнам	До Ньят Зуй	2016
Методы повышения эффективности итеративного динамического анализа программ	Ермаков Михаил Кириллович	2016
Методы и алгоритмы поиска сущностей по ключевым словам в графовых базах знаний	Жильцов Никита Геннадьевич	2016

[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37]