| Тема диссертации |
Автор |
Год |
|
|
Разработка программного обеспечения с применением UML диаграмм и сетей Петри для систем управления локальным оборудованием
|
Романников, Дмитрий Олегович |
2012 |
|
|
Распараллеливание алгоритмов ретроанализа для решения переборных задач в вычислительных системах без общей памяти
|
Махнычев, Владимир Сергеевич |
2012 |
|
|
Рассредоточенная реализация приложений в среде предметных посредников
|
Вовченко, Алексей Евгеньевич |
2012 |
|
|
Символьные алгоритмы, связанные с задачами суммирования
|
Поляков, Станислав Петрович |
2012 |
|
|
Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
|
Аветисян, Арутюн Ишханович |
2012 |
|
|
Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании
|
Тебекин, Юрий Борисович |
2012 |
|
|
Специальное программное обеспечение распределенной адаптивной обработки временных серий данных дистанционного зондирования
|
Селиванов, Павел Юрьевич |
2012 |
|
|
Способы и программные средства интеллектуальной поддержки принятия решений на основе риск-ситуаций
|
Сеньков, Алексей Викторович |
2012 |
|
|
Технология разработки композитных приложений с использованием предметно-ориентированных программных модулей
|
Князьков, Константин Валерьевич |
2012 |
|
|
Управление параллельным выполнением транзакций в распределенных гетерогенных базах данных при доступе из мобильной среды
|
Аникин, Николай Александрович |
2012 |
|
|
Управление производительностью параллельной вычислительной системы при обработке запросов
|
Мьо Тант |
2012 |
|
|
Автоматическая верификация и оптимизация потоков работ
|
Каленкова, Анна Алексеевна |
2011 |
|
|
Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа
|
Моисеев, Михаил Юрьевич |
2011 |
|
|
Алгоритмические и программные средства интеграции данных при создании электронных медицинских карт
|
Фам Ван Тап |
2011 |
|
|
Алгоритмическое и программное обеспечение бортового комплекса мониторинга лесопожарной обстановки
|
Шкуратов, Антон Викторович |
2011 |
|
|
Алгоритмическое и программное обеспечение инструментальной системы для интеграции производственных данных нефтегазодобывающей компании
|
Вейбер, Вадим Викторович |
2011 |
|
|
Алгоритмическое и программное обеспечение построения области реализуемости термодинамических систем
|
Григоревский, Иван Николаевич |
2011 |
|
|
Алгоритмическое и программное обеспечение системы управления производством газодобывающей компании
|
Богдан, Степан Александрович |
2011 |
|
|
Алгоритмы миграции данных в высокомасштабируемых облачных системах хранения
|
Петров, Дмитрий Леонидович |
2011 |
|
|
Алгоритмы преобразования и классификации трафика для обнаружения вторжений в компьютерные сети
|
Большев, Александр Константинович |
2011 |
|
