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