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

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

Методы асинхронного управления функционально-потоковыми параллельными вычислениями	Редькин Андрей Владимирович	2009
Математическое и программное обеспечение человеко-машинных интерфейсов для моделирования бортовых приборов и систем	Русановский Сергей Александрович	2009
Статический анализ кода для автоматизированного обнаружения ошибок при переносе программ на 64-битные платформы	Рыжков, Евгений Александрович	2009
Формирование тестирующих программ с использованием сетей Петри-Маркова	Савин Александр Николаевич	2009
Методы и программные средства выделения и численного оценивания вариативности языковых единиц	Саломатина Наталья Васильевна	2009
Методы, алгоритмы и программы приближенного решения задачи управления	Сачкова Елена Федоровна	2009
Технология и инструментальные средства организации распределенных пакетов прикладных программ	Сидоров Иван Александрович	2009
Методы реализации автоматных объектно-ориентированных программ	Степанов Олег Георгиевич	2009
Исследование и разработка алгоритмов для решения задачи устойчивого видеослежения в больших помещениях	Стрельников Константин Николаевич	2009
Модель разграничения прав доступа и программная реализация модели для компьютерных сетей	Сумкин Константин Сергеевич	2009
Методы и средства организации обработки потоковой информации на распределенных гетерогенных вычислительных комплексах	Телеснин Борис Анатольевич	2009
Методы визуального построения и сопровождения информационных систем на основе иерархического расширения реляционной модели данных	Тимофеев Дмитрий Владимирович	2009
Анализ взаимовлияний при интеграции новой функциональности в существующую систему средствами верификации и тестирования	Тихомиров Владимир Александрович	2009
Алгоритмическое и программное обеспечение мультипроцессорных систем для распознавания графических образов на основе нейросетевого подхода	Тищенко Игорь Петрович	2009
Методы интеграции данных компьютерных систем на основе универсального формата обмена данными	Торшин Дмитрий Вячеславович	2009
Исследование и разработка методов декомпиляции программ	Трошина Екатерина Николаевна	2009
Математическое и программное обеспечение классификации текстов на основе морфологических признаков	Трутнев Евгений Владимирович	2009
Регуляризация контекстно-свободных грамматик на основе эквивалентных преобразований синтаксических граф-схем	Федорченко Людмила Николаевна	2009
Методы удаления избыточностей на этапе компиляции программ	Филиппов Александр Николаевич	2009
Исследование и разработка математического и программного обеспечения оптических систем слежения реального времени для приложений виртуального окружения	Фурса Максим Владимирович	2009
Инструментальные средства интеграции контента унаследованных веб-приложений в единое информационное пространство предприятия	Чеснавский, Александр Александрович	2009
Математическое обеспечение для разработки и анализа систем распознавания образов, использующих рандомизированные алгоритмы	Шалымов Дмитрий Сергеевич	2009
Моделирование, сбор и анализ количественных характеристик функционирования распределенных разнородных аппаратно-программных комплексов	Шмырев Николай Владимирович	2009
Прикладное математическое, алгоритмическое и программное обеспечение компьютерного анализа гибридных систем	Шорников Юрий Владимирович	2009
Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду	Юсупов Юрий Вадимович	2009
Разработка математического и программного обеспечения распределенного комплекса локализации опознавательных знаков движущихся объектов	Явтухович Андрей Георгиевич	2009
XML-технология создания на Web-сервере персонализованных Word-документов на основе XSL-трансформации	Яфаев Виль Эмарович	2009
Математическое и программное обеспечение распознавания многоэлементных зрительных сцен с использованием иерархических нейронных сетей	Аксёнов Сергей Владимирович	2008
Математическое и программное обеспечение асинхронной репликации данных реляционных СУБД методом выделения объектов	Апанасевич Дмитрий Александрович	2008
Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования	Арапбаев Русланбек Нурмаматович	2008
Методология поддержки разработки эффективных параллельных программ	Бабкова Варвара Вадимовна	2008
Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах	Баженов Михаил Михайлович	2008
Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения	Батаев Алексей Владимирович	2008
Гибридная модель параллельного программирования DVM/OpenMP	Бахтин Владимир Александрович	2008
Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд	Белеванцев Андрей Андреевич	2008
Разработка диаграммно-сетевого метода синтеза структур интерактивных систем	Болонкин Андрей Владимирович	2008
Исследование и разработка методов автоматизированного управления технологическими процессами и их конфигурациями в производствах поточного типа	Браништов Сергей Александрович	2008
Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов	Бугеря Александр Борисович	2008
Теория конформности для функционального тестирования программных систем на основе формальных моделей	Бурдонов Игорь Борисович	2008
Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области	Бурлаченко Татьяна Борисовна	2008
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри	Быстров Александр Васильевич	2008
Система распараллеливания алгоритмов компьютерной алгебры на основе арифметики полиномов	Валеев Юрий Дамирович	2008
Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения	Васильев Павел Константинович	2008
Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова	Галазин Александр Борисович	2008
Исследование и разработка методов построения программных средств классификации многотемных гипертекстовых документов	Глазкова Валентина Владимировна	2008
Методы планирования вычислений в САПР систем реального времени	Гончар Дмитрий Русланович	2008
Инструментальный комплекс для организации параллельных вычислений в интеллектуальных пакетах прикладных программ	Горский Сергей Алексеевич	2008
Транзакционная обработка данных в распределенных информационно-управляющих системах	Гражданцев Евгений Викторович	2008
Инструментальные средства создания элементов пользовательского интерфейса на основе семантического описания компьютерных пиктограмм	Гранин Михаил Николаевич	2008
Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний : метод, инструментальное средство, верификация	Гуров Вадим Сергеевич	2008

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