|
Total work:2121
701. Чупилко, Михаил Михайлович. Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
the year: 2012 702. Чусов, Андрей Александрович. Гибкая архитектура для параллельного анализа и визуализации физических полей
the year: 2012 703. Штейнберг Роман Борисович. Автоматическое отображение программ на конвейерные и многоконвейерные архитектуры
the year: 2012 704. Якубенко, Антон Анатольевич. Алгоритмы построения трехмерных моделей объектов с регулярной структурой по фотографиям при взаимодействии с пользователем для виртуальных сред
the year: 2012 705. Аветисян, Арутюн Ишханович. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
the year: 2012 706. Алымова, Елена Владимировна. Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе
the year: 2012 707. Амелин, Константин Сергеевич. Математическое обеспечение микрокомпьютеров мобильных объектов с групповым взаимодействием
the year: 2012 708. Аникин, Николай Александрович. Управление параллельным выполнением транзакций в распределенных гетерогенных базах данных при доступе из мобильной среды
the year: 2012 709. Ардентов, Андрей Андреевич. Алгоритмическое и программное обеспечение задач управления и обработки изображений
the year: 2012 710. Арефьев, Николай Викторович. Методы построения и использования компьютерных словарей сочетаемости для синтаксических анализаторов русскоязычных текстов
the year: 2012 711. Бакаев, Максим Александрович. Разработка интеллектуальной системы для поддержки проектирования человеко-компьютерного взаимодействия в веб-приложениях
the year: 2012 712. Бутаков Михаил Игоревич. Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул
the year: 2012 713. Вовченко, Алексей Евгеньевич. Рассредоточенная реализация приложений в среде предметных посредников
the year: 2012 714. Волобой, Алексей Геннадьевич. Программные технологии автоматизации построения реалистичных изображений
the year: 2012 715. Воробьева, Ирина Александровна. Исследование методов и разработка алгоритмов и программных средств планирования обслуживания терминалов распределенных компьютерных систем
the year: 2012 716. Громов, Алексей Юрьевич. Алгоритмы проектирования схем реляционных баз данных, содержащих ранжируемые атрибуты
the year: 2012 717. Гуров, Дмитрий Валерьевич. Методы и средства противодействия атакам на компьютерные системы, основанным на использовании уязвимостей программного кода
the year: 2012 718. Гусев, Кирилл Владимирович. Математическая модель, алгоритм и программная реализация модели механизма управления потоками данных в компьютерных сетях с открытой структурой
the year: 2012 719. Домунян Андрей Александрович. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
the year: 2012 720. Домунян Андрей Александрович. Аппаратные и программные средства для анализа жестов руки, наблюдаемых с помощью видеокамеры
the year: 2012 721. Евсютин, Олег Олегович. Метод сжатия цифровых изображений на основе блочных клеточных автоматов
the year: 2012 722. Ейбоженко, Дмитрий Анатольевич. Приближенные методы решения задачи Штейнера на ориентированных графах
the year: 2012 723. Зо Мьо Хтет. Исследование и разработка параллельных методов вывода на аналитических таблицах
the year: 2012 724. Зыков, Сергей Викторович. Технология интеграции данных в гетерогенных корпоративных программных комплексах
the year: 2012 725. Иванов, Дмитрий Сергеевич. Комплексная технология распределения регистров и планирования инструкций в оптимизирующем компиляторе вычислительных комплексов семейства "Эльбрус"
the year: 2012 726. Инзарцев Александр Вячеславович. Методы формирования поведения и проектирования программного обеспечения обследовательского автономного подводного робота
the year: 2012 727. Климов, Валентин Вячеславович. Модели, алгоритмы и программные средства поиска и композиции ВЕБ-сервисов с использованием семантических описаний
the year: 2012 728. Князьков, Константин Валерьевич. Технология разработки композитных приложений с использованием предметно-ориентированных программных модулей
the year: 2012 729. Коваленко, Василий Борисович. Методы и средства программирования софт-архитектур для реконфигурируемых вычислительных систем
the year: 2012 730. Колосов, Алексей Павлович. Математическое и программное обеспечение полнотекстового поиска в базах данных на основе концептуального моделирования
the year: 2012 731. Коротков, Александр Евгеньевич. Методы, алгоритмы и программные средства повышения скорости поиска в базах данных
the year: 2012 732. Кривенцов Александр Сергеевич. Доверительная трудоемкость компьютерных алгоритмов: разработка оценки и методика определения
the year: 2012 733. Кудрявцев, Алексей Сергеевич. Исследование и разработка системы отображения и наблюдения тренажера подводного аппарата
the year: 2012 734. Ле Суан Дык. Математическое и программное обеспечение работы с электронными документами, удостоверяющими личность гражданина Социалистической Республики Вьетнам
the year: 2012 735. Ловягин, Никита Юрьевич. Программное обеспечение для исследования фрактальных свойств пространственного распределения изолированных нагруженных точек
the year: 2012 736. Абдулин, Евгений Рудольфович. Методы проектирования программного обеспечения и человеко-машинного взаимодействия в многофункциональных мультимедийных комплексах
the year: 2011 737. Аветисян Арутюн Ишханович. Современные методы статического и динамического анализа программ для решения приоритетных проблем программной инженерии
the year: 2011 738. Агапов, Руслан Николаевич. Интеграция программных систем инфорационной среды организации на основе Intranet-технологии : на примере образовательного учреждения
the year: 2011 739. Аль Каиби Еман Габар Абдул Хасен. Разработка математического обеспечения и программных компонентов сетевой защиты корпоративных и государственных информационных систем Ирака
the year: 2011 740. Алюшин, Сергей Александрович. Модели, методы и программные средства построения сложных адаптивных систем дорожного движения
the year: 2011 741. Андреев, Алексей Константинович. Исследование и разработка компьютерных технологий поддержки принятия решений по снижению последствий воздействия цунами на береговую зону
the year: 2011 742. Андреев, Никита Евгеньевич. Исследование и реализация эффективных методов анализа производительности параллельных программ
the year: 2011 743. Атисков, Алексей Юрьевич. Разработка технологии и программной системы автоматизированной трансформации диаграмм функционального проектирования в диаграммы UML
the year: 2011 744. Бакулев, Александр Валериевич. Модели и алгоритмы организации мобильных параллельных вычислений в среде многоядерных процессоров
the year: 2011 745. Баранникова Екатерина Александровна. Модели, алгоритмы и программное обеспечение фильтрации электронной корреспонденции для информационной системы с ограниченными ресурсами
the year: 2011 746. Березовский, Павел Сергеевич. Управление заданиями в гриде с некластеризованными ресурсами
the year: 2011 747. Бирюков, Сергей Вячеславович. Метод и средства автоматизации тестирования интерфейса программирования приложения
the year: 2011 748. Богдан, Степан Александрович. Алгоритмическое и программное обеспечение системы управления производством газодобывающей компании
the year: 2011 749. Большев, Александр Константинович. Алгоритмы преобразования и классификации трафика для обнаружения вторжений в компьютерные сети
the year: 2011 750. Бородина, Екатерина Ивановна. Контроль, мониторинг и визуализация данных эксперимента COSY-TOF в режиме реального времени
the year: 2011 |
