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

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

Объектно-ориентированная среда для разработки приложений теории расписаний	Аничкин Антон Сергеевич	2018
Метод проектирования и реализации параллельных реагирующих систем	Афанасьева Ирина Викторовна	2018
Исследование и разработка методов и средств сопровождения информационной базы верхнего уровня АСУТП АЭС	Байбулатов Артур Арсенович	2018
Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции	Батузов Кирилл Андреевич	2018
Многоуровневый статический анализ исходного кода для обеспечения качества программ	Белеванцев Андрей Андреевич	2018
Трассирующая нормализация	Березун Даниил Андреевич	2018
Разработка интеллектуальной программной среды для построения интегрированных экспертных систем	Блохин Юрий Михайлович	2018
Макс DSM: Система распределённой общей памяти для мультиагентных систем в IoT	Бойко Павел Валентинович	2018
Методика и инструментальное средство оценки корректности функционирования информационных ресурсов	Быстрицкий Николай Дмитриевич	2018
Математическое и программное обеспечение вычислительных комплексов для решения задач анализа несовместных систем с массивно параллельной обработкой данных	Гайнанов Дамир Насибуллович	2018
Доказательство свойств функциональных программ методом насыщения равенствами	Гречаник Сергей Александрович	2018
Программно-математические средства рефакторинга UML-диаграмм классов с учётом заданных критериев качества	Дерюгина Ольга Александровна	2018
Метод и программное средство разработки баз знаний на основе трансформации концептуальных моделей	Дородных Никита Олегович	2018
Модель и метод автоматизированной обработки геоконтекстных данных в рамках концепции Интернета Вещей	Заславский Марк Маркович	2018
Методы и программные средства ускорения поиска решения в базах знаний нечетких экспертных систем	Зо Мин Тайк	2018
Математические модели надежности и методы ее повышения в современных распределенных отказоустойчивых системах хранения данных	Иваничкина Людмила Владимировна	2018
Архитектура и программная инфраструктура систем управления контентом и модели описания их функционирования	Иванов Алексей Владимирович	2018
Поиск ошибок выхода за границы буфера в бинарном коде программ	Каушан Вадим Владимирович	2018
Методы, модели и программные инфраструктуры глобально распределенной обработки архивных данных дистанционного зондирования Земли	Кашницкий Александр Витальевич	2018
Методы обработки сверхбольших объемов данных в распределенной гетерогенной компьютерной среде для приложений в ядерной физике и физике высоких энергий	Климентов Алексей Анатольевич	2018
Модели и программная инфраструктура для проектирования интерфейсов контроля и управления распределенной обработкой и анализа спутниковых данных на основе BI-технологий	Кобец Дмитрий Александрович	2018
Методы и программные средства создания иерархических распределенных информационных систем на основе сервис-ориентированной архитектуры	Курако Евгений Александрович	2018
Оценка качества спецификаций требований пользователей на стадии формирования концепции программных средств на основе QFD-методологии	Курунова Роксана Рафаилевна	2018
Разработка моделей и алгоритмов распределенной системы предупреждения аварийных ситуаций на основе мониторинга водителя	Лашков Игорь Борисович	2018
Модели и методы обработки данных для организации эффективной программной инфраструктуры коллективного взаимодействия с облачной системой	Легашев Леонид Вячеславович	2018
Методы, модели и технологии разработки и интеграции распределённых гетерогенных программно-вычислительных комплексов в АСДУ ЕСГ	Леонов Дмитрий Генадьевич	2018
Поиск неточных повторов в документации программного обеспечения	Луцив Дмитрий Вадимович	2018
Разработка и исследование методов повышения эффективности сжатия в современных видеокодеках	Нгуен Ван Чыонг	2018
Алгоритмы построения адаптивного языкового человеко-машинного интерфейса для программных систем	Нгуен Нгок Зиеп	2018
Алгоритмы символьных вычислений в системах компьютерной алгебры для линейных дифференциальных систем с выделенными неизвестными	Панфёров Антон Александрович	2018
Математическое и программное обеспечение адаптивной маршрутизации и балансировки потоков данных в программно-конфигурируемых сетях с обеспечением качества сетевых сервисов	Перепелкин Дмитрий Александрович	2018
Метод проектирования метаэвристических алгоритмов дискретной оптимизации, использующих вспомогательные оптимизируемые критерии, основанный на обучении с подкреплением	Петрова Ирина Анатольевна	2018
Разработка и реализация механизмов сокращения размера Java-приложений для встраиваемых систем в закрытой модели	Пилипенко Артур Витальевич	2018
Операционные методы в приложении к слабым моделям памяти	Подкопаев Антон Викторович	2018
Модели, методы и программные средства построения естественно-языкового пользовательского интерфейса к базам данных	Посевкин Руслан Владимирович	2018
Глубокие генеративные конкурентные нейронные сети для малых органических молекулярных структур	Путин Евгений Олегович	2018
Автоматический статический анализ программных систем, записанных на языках программирования семейства С	Сафин Ленар Камилевич	2018
Метод построения адаптивных мультимодальных интерфейсов человеко-машинного взаимодействия для информационной инфраструктуры Умного города	Сосунова Инна Александровна	2018
Встречная оптимизация класса задач трёхмерного моделирования для архитектур многоядерных процессоров	Сударева Ольга Юрьевна	2018
Модели и методы построения параллельных алгоритмов анализа распределенных данных	Холод Иван Иванович	2018
Исследование и разработка методов сопровождения людей и частей их тела в видеопоследовательности	Шальнов Евгений Вадимович	2018
Методы, средства и алгоритмы автоматического извлечения фактов из китайских текстов	Юй Чуцяо	2018
Математическое и программное обеспечение системы дистанционного обучения на базе веб-конференций	Алексейчук Андрей Сергеевич	2017
Математическое и программное обеспечение балансировки вычислительных заданий для распределенных вычислительных комплексов на основе прогнозных моделей	Алпатов Алексей Николаевич	2017
Исследование и разработка методов и программных средств интеллектуального анализа данных на основе прецедентов	Ар Кар Мьо	2017
Эффективные алгоритмы поиска по большим коллекциям изображений	Бабенко Артем Валерьевич	2017
Метод динамической оценки для прогнозирования времени цикла разработки программных систем	Бахиркин Михаил Васильевич	2017
Автоматический синтез диаграмм классов языка UML на основе ассоциативных отношений предметной области	Бикмуллина Ильсияр Ильдаровна	2017
Метод совместного использования эволюционных алгоритмов и обучения с подкреплением для оценки эффективности программ решения задач дискретной математики	Буздалова Арина Сергеевна	2017
Методы и средства верификации протоколов когерентности памяти	Буренков Владимир Сергеевич	2017

[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]