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

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

Разработка математического, алгоритмического и программного обеспечения для имитационного моделирования микроструктуры керна	Мизгулин Вячеслав Владимирович	2013
Математическое и программное обеспечение интеллектуальных поисковых систем на основе использования мультиагентной архитектуры	Минашкин, Сергей Александрович	2013
Исследование и разработка моделей, методов и программных средств темпорального вывода в динамических интегрированных экспертных системах	Мозгачев, Алексей Васильевич	2013
Методы вычисления оценок уверенности формально построенных выводов	Моросанова, Наталья Александровна	2013
МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ БЕЗОПАСНОГО ФУНКЦИОНИРОВАНИЯ СРЕДСТВ ПЕРЕВОЗКИ ПРИ ЭКСПЛУАТАЦИИ ВО ВЬЕТНАМЕ	Нгуен Тин Чунг	2013
Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций	Никифоров, Игорь Валерьевич	2013
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX	Новиков, Евгений Михайлович	2013
Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений	Новоселов, Юрий Владимирович	2013
Метод и алгоритмы контроля целостности конфиденциальных данных на основе функций хэширования	Нураев, Имангазали Юнусович	2013
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики	Павлов, Евгений Геннадьевич	2013
Методы внедрения фрагментного параллелизма в последовательную СУБД с открытым исходным кодом	Пан, Константин Сергеевич	2013
Построение системы поддержки регламентов на базе языка запросов GSQL	Потапов, Кирилл Борисович	2013
Отображение DVMH-программ на кластеры с графическими процессорами	Притула Михаил Николаевич	2013
Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания	Прищепа, Мария Викторовна	2013
Разработка методов моделирования для оценки производительности суперкомпьютерных систем для параллельных приложений с однородным характером поведения	Речистов, Григорий Сергеевич	2013
МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА АВТОМАТИЗАЦИИ АУДИОВИЗУАЛЬНОГО МОНИТОРИНГА УЧАСТНИКОВ МЕРОПРИЯТИЙ В ИНТЕЛЛЕКТУАЛЬНОМ ЗАЛЕ	Ронжин Александр Леонидович	2013
Разработка и исследование методов и алгоритмов устранения избыточности видеопоследовательностей на основе сегментации видеоданных	Рубина, Ирина Семеновна	2013
Методы и алгоритмы оптимизации переходов в компиляторе базового уровня системы двоичной трансляции для архитектуры "Эльбрус"	Рыбаков, Алексей Анатольевич	2013
Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов	Рябенко, Анна Андреевна	2013
Разработка, реализация и анализ производительности модифицированного транспортного протокола	Сивов, Анатолий Александрович	2013
Исследование и разработка алгоритмов матирования видеопоследовательности	Синдеев Михаил Сергеевич	2013
Восстановление алгоритма по набору бинарных трасс	Соловьев, Михаил Александрович	2013
Исследование методов и разработка программных средств анализа структурной сложности и симметрии графовых моделей систем	Старичкова, Юлия Викторовна	2013
Разработка инструментальных средств создания визуальных предметно-ориентированных языков	Сухов, Александр Олегович	2013
Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения	Тетерев, Михаил Александрович	2013
Динамическое обнаружение состояний гонки в многопоточных JAVA-программах	Трифанов, Виталий Юрьевич	2013
Методы автоматизации распределенного тестирования реактивных систем	Тютин Борис Викторович	2013
Методы автоматизации распределённого тестирования реактивных систем	Тютин, Борис Викторович	2013
Модели, методы и инструментальные сервисы для создания профессиональных виртуальных облачных сред	Федорищев, Леонид Александрович	2013
Исследование и разработка метода, моделей и алгоритмов тестирования приложений для мобильных устройств	Хатько, Евгений Евгеньевич	2013
Автоматизированное формирование базы знаний для задачи анализа мнений	Четвёркин, Илья Игоревич	2013
Встречное тестирование высокопроизводительных микропроцессоров	Чибисов, Петр Александрович	2013
Методы и алгоритмы гибридного синтеза естественной русской речи на основе скрытых марковских моделей и метода Unit Selection	Чистиков, Павел Геннадьевич	2013
Технология построения проблемно-ориентированных сред для научных исследований в рамках модели персонального облака	Чуров, Тимофей Николаевич	2013
Специальное математическое и программное обеспечение управления кэшированием данных на основе временных меток транзакций	Шахворостов, Георгий Ильич	2013
Совместное планирование вычислений и обменов в информационно-управляющих системах реального времени	Шестов, Пётр Евгеньевич	2013
Математическое и программное обеспечение распределенной обработки больших объемов данных из социальных медиа	Якушев, Андрей Владимирович	2013
Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения	Аветисян, Арутюн Ишханович	2012
Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе	Алымова, Елена Владимировна	2012
Математическое обеспечение микрокомпбютеров мобильных объектов с групповым взаимодействием	Амелин Константин Сергеевич	2012
Математическое обеспечение микрокомпьютеров мобильных объектов с групповым взаимодействием	Амелин, Константин Сергеевич	2012
Управление параллельным выполнением транзакций в распределенных гетерогенных базах данных при доступе из мобильной среды	Аникин, Николай Александрович	2012
Алгоритмическое и программное обеспечение задач управления и обработки изображений	Ардентов, Андрей Андреевич	2012
Методы построения и использования компьютерных словарей сочетаемости для синтаксических анализаторов русскоязычных текстов	Арефьев, Николай Викторович	2012
Разработка интеллектуальной системы для поддержки проектирования человеко-компьютерного взаимодействия в веб-приложениях	Бакаев, Максим Александрович	2012
Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул	Бутаков Михаил Игоревич	2012
Рассредоточенная реализация приложений в среде предметных посредников	Вовченко, Алексей Евгеньевич	2012
Программные технологии автоматизации построения реалистичных изображений	Волобой, Алексей Геннадьевич	2012
Исследование методов и разработка алгоритмов и программных средств планирования обслуживания терминалов распределенных компьютерных систем	Воробьева, Ирина Александровна	2012
Алгоритмы проектирования схем реляционных баз данных, содержащих ранжируемые атрибуты	Громов, Алексей Юрьевич	2012

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