|
Загалом робіт:2121
1001. Арапбаев Русланбек Нурмаматович. Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования
Рік: 2008 1002. Бабкова Варвара Вадимовна. Методология поддержки разработки эффективных параллельных программ
Рік: 2008 1003. Баженов Михаил Михайлович. Разработка специального математического и программного обеспечения выявления веб-сообществ в информационно-поисковых системах
Рік: 2008 1004. Батаев Алексей Владимирович. Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения
Рік: 2008 1005. Бахтин Владимир Александрович. Гибридная модель параллельного программирования DVM/OpenMP
Рік: 2008 1006. Белеванцев Андрей Андреевич. Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд
Рік: 2008 1007. Болонкин Андрей Владимирович. Разработка диаграммно-сетевого метода синтеза структур интерактивных систем
Рік: 2008 1008. Браништов Сергей Александрович. Исследование и разработка методов автоматизированного управления технологическими процессами и их конфигурациями в производствах поточного типа
Рік: 2008 1009. Бугеря Александр Борисович. Диалоговая отладка параллельных программ : распределенная схема взаимодействующих компонентов
Рік: 2008 1010. Бурдонов Игорь Борисович. Теория конформности для функционального тестирования программных систем на основе формальных моделей
Рік: 2008 1011. Бурлаченко Татьяна Борисовна. Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области
Рік: 2008 1012. Быстров Александр Васильевич. Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
Рік: 2008 1013. Валеев Юрий Дамирович. Система распараллеливания алгоритмов компьютерной алгебры на основе арифметики полиномов
Рік: 2008 1014. Васильев Павел Константинович. Разработка и реализация системы интерпретации спецификаций на языке ASM с временем и проверки свойств трасс их выполнения
Рік: 2008 1015. Галазин Александр Борисович. Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова
Рік: 2008 1016. Глазкова Валентина Владимировна. Исследование и разработка методов построения программных средств классификации многотемных гипертекстовых документов
Рік: 2008 1017. Гончар Дмитрий Русланович. Методы планирования вычислений в САПР систем реального времени
Рік: 2008 1018. Горский Сергей Алексеевич. Инструментальный комплекс для организации параллельных вычислений в интеллектуальных пакетах прикладных программ
Рік: 2008 1019. Гражданцев Евгений Викторович. Транзакционная обработка данных в распределенных информационно-управляющих системах
Рік: 2008 1020. Гранин Михаил Николаевич. Инструментальные средства создания элементов пользовательского интерфейса на основе семантического описания компьютерных пиктограмм
Рік: 2008 1021. Гуров Вадим Сергеевич. Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний : метод, инструментальное средство, верификация
Рік: 2008 1022. Гуров Валерий Валентинович. Разработка методов и средств анализа и обеспечения качества программных систем учебного назначения
Рік: 2008 1023. Дауренбеков Куаныш Койшыгулович. Адаптивная обучающая программа для нефтегазовой отрасли
Рік: 2008 1024. Деменков Павел Сергеевич. Математическое и программное обеспечение для реконструкции ассоциативных сетей молекулярно-генетических взаимодействий
Рік: 2008 1025. Демин Александр Викторович. Логико-вероятностный метод извлечения знаний и его применение в задачах прогнозирования и управления
Рік: 2008 1026. Динь Ле Дат. Разработка и реализация формальных онтологий пространственных данных и сервисов
Рік: 2008 1027. Дубцов Роман Сергеевич. Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
Рік: 2008 1028. Жирков Александр Олегович. Методы визуализации и сжатия дискретных моделей поверхностей
Рік: 2008 1029. Зернов Михаил Михайлович. Методы и программные средства поддержки принятия решений на основе нечётких ситуационных сетей
Рік: 2008 1030. Зуев Михаил Сергеевич. Блочные символьные матричные алгоритмы
Рік: 2008 1031. Ильин Алексей Михайлович. Технология построения математического и программного обеспечения генерации окружающей обстановки для тренажерных комплексов
Рік: 2008 1032. Калачик Роман Александрович. Методы поиска графической информации в информационных системах
Рік: 2008 1033. Камкин Александр Сергеевич. Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций
Рік: 2008 1034. Кантор Илья Александрович. Математическое и программное обеспечение обучающих систем, основанное на генерации функционально зависимых цепочек и специализированных алгоритмах выборки
Рік: 2008 1035. Каширин Денис Игоревич. Алгоритмы структуризации и унификации для моделей знаний в технологии Semantic Web на основе синтеза OWL-онтологий
Рік: 2008 1036. Кинсбурский Станислав Александрович. Разработка и исследование методов повышения скорости доступа к удалённым данным в распределённых вычислительных системах
Рік: 2008 1037. Козлов Дмитрий Борисович. Математическое и программное обеспечение интегрированной системы поддержки принятия решений на основе лингвистических моделей
Рік: 2008 1038. Коннов Игорь Владимирович. Верификация параметризованных моделей распределенных систем
Рік: 2008 1039. Коплович Евгения Александровна. Разработка алгоритмов стабилизации и компрессии изображений для систем видеонаблюдения мобильных робототехнических комплексов
Рік: 2008 1040. Коробков Кирилл Николаевич. Исследование и разработка системы управления бизнес-процессами
Рік: 2008 1041. Коробкова Светлана Викторовна. Разработка, исследование и реализация алгоритмов программного комплекса "Нейроматематика"
Рік: 2008 1042. Коротиков Сергей Викторович. Применение сетей Петри в разработке многопоточного программного обеспечения с ограниченными разделяемыми ресурсами на примере центров дистанционного управления и контроля
Рік: 2008 1043. Косинов Дмитрий Иванович. Разработка математического обеспечения оценки схожести WEB-документов на основе структурно-семантического разбиения
Рік: 2008 1044. Краснобаев Антон Александрович. Метод декомпозиции алгоритмов систем технического зрения на параллельно-конвейерное программно-аппаратное исполнение в архитектуре ПЛИС-ЦСП
Рік: 2008 1045. Крижановский Андрей Анатольевич. Математическое и программное обеспечение построения списков семантически близких слов на основе рейтинга вики-текстов
Рік: 2008 1046. Кубасов Сергей Валерьевич. Верификация автоматных программ в контексте синхронного программирования
Рік: 2008 1047. Куриленко Иван Евгеньевич. Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений
Рік: 2008 1048. Ларченко Алексей Викторович. Инструментальная оболочка проектирования и разработки высокопроизводительных приложений в среде Грид
Рік: 2008 1049. Лебедев Кирилл Сергеевич. Разработка метода и инструментальных средств создания приложений для системы управления содержанием веб-сайтов
Рік: 2008 1050. Лебидько Леонид Михайлович. Проектирование и реализация информационной системы телемедицинского центра на базе международных стандартов
Рік: 2008 |
