|
Total work:2062
951. Бурдонов Игорь Борисович. Теория конформности для функционального тестирования программных систем на основе формальных моделей
the year: 2008 952. Бурлаченко Татьяна Борисовна. Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области
the year: 2008 953. Быстров Александр Васильевич. Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
the year: 2008 954. Валеев Юрий Дамирович. Система распараллеливания алгоритмов компьютерной алгебры на основе арифметики полиномов
the year: 2008 955. Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
the year: 2008 956. Галазин Александр Борисович. Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова
the year: 2008 957. Глазкова Валентина Владимировна. Исследование и разработка методов построения программных средств классификации многотемных гипертекстовых документов
the year: 2008 958. Гончар Дмитрий Русланович. Методы планирования вычислений в САПР систем реального времени
the year: 2008 959. Горский Сергей Алексеевич. Инструментальный комплекс для организации параллельных вычислений в интеллектуальных пакетах прикладных программ
the year: 2008 960. Гражданцев Евгений Викторович. Транзакционная обработка данных в распределенных информационно-управляющих системах
the year: 2008 961. Гранин Михаил Николаевич. Инструментальные средства создания элементов пользовательского интерфейса на основе семантического описания компьютерных пиктограмм
the year: 2008 962. Гуров Вадим Сергеевич. Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний : метод, инструментальное средство, верификация
the year: 2008 963. Гуров Валерий Валентинович. Разработка методов и средств анализа и обеспечения качества программных систем учебного назначения
the year: 2008 964. Дауренбеков Куаныш Койшыгулович. Адаптивная обучающая программа для нефтегазовой отрасли
the year: 2008 965. Деменков Павел Сергеевич. Математическое и программное обеспечение для реконструкции ассоциативных сетей молекулярно-генетических взаимодействий
the year: 2008 966. Демин Александр Викторович. Логико-вероятностный метод извлечения знаний и его применение в задачах прогнозирования и управления
the year: 2008 967. Динь Ле Дат. Разработка и реализация формальных онтологий пространственных данных и сервисов
the year: 2008 968. Дубцов Роман Сергеевич. Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
the year: 2008 969. Жирков Александр Олегович. Методы визуализации и сжатия дискретных моделей поверхностей
the year: 2008 970. Зернов Михаил Михайлович. Методы и программные средства поддержки принятия решений на основе нечётких ситуационных сетей
the year: 2008 971. Зуев Михаил Сергеевич. Блочные символьные матричные алгоритмы
the year: 2008 972. Ильин Алексей Михайлович. Технология построения математического и программного обеспечения генерации окружающей обстановки для тренажерных комплексов
the year: 2008 973. Калачик Роман Александрович. Методы поиска графической информации в информационных системах
the year: 2008 974. Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
the year: 2008 975. Кантор Илья Александрович. Математическое и программное обеспечение обучающих систем, основанное на генерации функционально зависимых цепочек и специализированных алгоритмах выборки
the year: 2008 976. Каширин Денис Игоревич. Алгоритмы структуризации и унификации для моделей знаний в технологии Semantic Web на основе синтеза OWL-онтологий
the year: 2008 977. Кинсбурский Станислав Александрович. Разработка и исследование методов повышения скорости доступа к удалённым данным в распределённых вычислительных системах
the year: 2008 978. Козлов Дмитрий Борисович. Математическое и программное обеспечение интегрированной системы поддержки принятия решений на основе лингвистических моделей
the year: 2008 979. Коннов Игорь Владимирович. Верификация параметризованных моделей распределенных систем
the year: 2008 980. Коплович Евгения Александровна. Разработка алгоритмов стабилизации и компрессии изображений для систем видеонаблюдения мобильных робототехнических комплексов
the year: 2008 981. Коробков Кирилл Николаевич. Исследование и разработка системы управления бизнес-процессами
the year: 2008 982. Коробкова Светлана Викторовна. Разработка, исследование и реализация алгоритмов программного комплекса "Нейроматематика"
the year: 2008 983. Коротиков Сергей Викторович. Применение сетей Петри в разработке многопоточного программного обеспечения с ограниченными разделяемыми ресурсами на примере центров дистанционного управления и контроля
the year: 2008 984. Косинов Дмитрий Иванович. Разработка математического обеспечения оценки схожести WEB-документов на основе структурно-семантического разбиения
the year: 2008 985. Краснобаев Антон Александрович. Метод декомпозиции алгоритмов систем технического зрения на параллельно-конвейерное программно-аппаратное исполнение в архитектуре ПЛИС-ЦСП
the year: 2008 986. Крижановский Андрей Анатольевич. Математическое и программное обеспечение построения списков семантически близких слов на основе рейтинга вики-текстов
the year: 2008 987. Кубасов Сергей Валерьевич. Верификация автоматных программ в контексте синхронного программирования
the year: 2008 988. Куриленко Иван Евгеньевич. Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений
the year: 2008 989. Ларченко Алексей Викторович. Инструментальная оболочка проектирования и разработки высокопроизводительных приложений в среде Грид
the year: 2008 990. Лебедев Кирилл Сергеевич. Разработка метода и инструментальных средств создания приложений для системы управления содержанием веб-сайтов
the year: 2008 991. Лебидько Леонид Михайлович. Проектирование и реализация информационной системы телемедицинского центра на базе международных стандартов
the year: 2008 992. Лепихов Андрей Валерьевич. Методы обработки запросов в системах управления базами данных для многопроцессорных систем с иерархической архитектурой
the year: 2008 993. Лобалзо Надежда Александровна. Исследование и разработка методов моделирования и визуализации оптически сложных материалов на примере ткани
the year: 2008 994. Лобанов Павел Геннадьевич. Использование генетических алгоритмов для генерации конечных автоматов
the year: 2008 995. Малинин Дмитрий Игоревич. Приближения, методы и инструментальные средства для анализа производительности масштабируемых систем обработки данных
the year: 2008 996. Мальчуков Андрей Николаевич. Алгоритмическое и программное обеспечение системы для разработки кодеков помехоустойчивых кодов
the year: 2008 997. Масленников Виталий Александрович. Интегрированные объектно-реляционные логические модели представления данных для систем потоковой обработки информации
the year: 2008 998. Матвеев Павел Павлович. Принципы и решения по совершенствованию эффективности функционирования операционных систем и приложений микропроцессорных карт
the year: 2008 999. Михайлов Илья Сергеевич. Математическое и программное обеспечение структурной и семантической интероперабельности информационных систем на основе метамоделей
the year: 2008 1000. Михеев Олег Игоревич. автореф Разработка сред пользовательских интерфейсов нового поколения с применением аспектно-ориентированного программирования
the year: 2008 |
