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