Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей


Всего работ:2062



801. Игнацкая, Ирина Владимировна. Методология моделирования на основе графа взаимодействия при сопровождении программной системы
Год: 2010

802. Идрисов Ренат Искандерович. Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов
Год: 2010

803. Карташев, Всеволод Владимирович. Алгоритмическое и программное обеспечение комплексов для зондовой микроскопии
Год: 2010

804. Кичигин Дмитрий Юрьевич. Метод редукции тестового набора для интеграционного тестирования
Год: 2010

805. Ключников, Илья Григорьевич (1983-). Выявление и доказательство свойств функциональных программ методами суперкомпиляции
Год: 2010

806. Коваленко, Дмитрий Сергеевич. Методы и программные средства обучения алгоритмов распознавания участков фазовых траекторий
Год: 2010

807. Козырева Алина Владимировна. Алгоритмы и программный инструментарий для задачи позиционирования мобильных устройств на основе данных от встроенной фотокамеры
Год: 2010

808. Кокорин Павел Петрович. Исследование и разработка инфологического подхода для построения тематических антологий при мониторинге интернет-среды
Год: 2010

809. Копылов, Михаил Васильевич. Разработка специального математического и программного обеспечения многозвенных интранет-ориентированных систем обработки транзакций
Год: 2010

810. Корныхин, Евгений Валерьевич. Построение тестовых программ для проверки подсистем управления памяти микропроцессоров
Год: 2010

811. Кравцов, Александр Васильевич. Математическое и программное обеспечение формирования окружающей обстановки тренажерных комплексов
Год: 2010

812. Кривцов, Олег Александрович. Методы, алгоритмы и программная система трекинга головы человека на видеокадрах, основанные на геометрических текстурных моделях
Год: 2010

813. Кружилов Иван Сергеевич. Методы и программные средства повышения эффективности распознавания групп звезд в автономной астронавигации
Год: 2010

814. Кручинин, Владимир Викторович. Методы, алгоритмы и программное обеспечение комбинаторной генерации
Год: 2010

815. Лаврухин Виталий Сергеевич. Методы и программные средства поддержки принятия решений на основе нечёткого обратного вывода
Год: 2010

816. Лапин Виталий Александрович. Исследование и разработка методов контроля качества образования на основе планов
Год: 2010

817. Мазин, Максим Александрович. Автоматное программирование для среды языково-ориентированного программирования
Год: 2010

818. Марьин, Сергей Владимирович. Интеллектуальная платформа управления композитными приложениями в распределённых вычислительных средах
Год: 2010

819. Мигинский Денис Сергеевич. Методы и средства реконструкции сетевых моделей сложных биологических систем
Год: 2010

820. Муханов, Руслан Салаватович. Разработка и реализация инструментария аспектно-ориентированного программирования для академической версии .NET
Год: 2010

821. Нгуен Ван Хунг. Исследование и разработка алгоритмов и программ автоматического распознавания ограниченного набора команд вьетнамской речи
Год: 2010

822. Немсцверидзе Зураб Шамильевич. Модели и методы проектирования программных систем анализа и контроля знаний
Год: 2010

823. Никонов Вячеслав Викторович. Методика и информационно-вычислительный комплекс интеллектуальной поддержки принятия решений на основе механизма немонотонного логического вывода и нейросетевых технологий
Год: 2010

824. Овчинников Андрей Михайлович. РАЗРАБОТКА АЛГОРИТМИЧЕСКИХ И ПРОГРАММНЫХ СРЕДСТВ РЕГИСТРАЦИИ И ВИЗУАЛИЗАЦИИ ЛОКАЛЬНЫХ ГИПЕРСПЕКТРАЛЬНЫХ ДАННЫХ
Год: 2010

825. Орлов Сергей Владимирович. Инструментальное средство разработки интеллектуальных систем поддержки решений задач диагностики
Год: 2010

826. Пачковская Светлана Валерьевна. Формирование контента реферата при автоматическом реформировании научного текста
Год: 2010

827. Попов, Сергей Геннадьевич. Построение оптимального репозитория атрибутов и отношений для интеграции реляционных баз данных
Год: 2010

828. Прошин, Евгений Николаевич. Комплексная технология модификации программных систем обработки и хранения данных с использованием индексирования
Год: 2010

829. Раевский, Алексей Викторович. Построение многопоточного криптоядра в операционных системах с вытесняющей многозадачностью
Год: 2010

830. Раскладкин, Максим Константинович. Методы и средства автоматизированного сопряжения функциональных узлов и блоков в приложениях для реконфигурируемых вычислителей
Год: 2010

831. Рачинский Евгений Станиславович. Анализ производительности распределенных информационных систем
Год: 2010

832. Редькина Александра Васильевна. Программные средства построения систем поддержки обучения решению задач
Год: 2010

833. Романовский Константин Юрьевич. Метод повторного использования документации семейств программных продуктов
Год: 2010

834. Ронжин, Андрей Леонидович. Методы и программные средства многоканальной дистанционной обработки речи и их применение в интерактивных многомодальных приложениях
Год: 2010

835. Сай Кхин Аунг Тинт. Адаптивное управление настройками в контуре аспектно-ориентированной архитектуры средств обучения
Год: 2010

836. Семченков Сергей Юрьевич. Алгоритмы проектирования систем многомерного анализа данных, основанных на OLAP технологии
Год: 2010

837. Силаков Денис Владимирович. Методы информационно-аналитической поддержки разработки и использования стандартов на интерфейсы операционной системы Linux
Год: 2010

838. Сонькин, Дмитрий Михайлович. Математическое и программное обеспечение системы диспетчерского управления таксопарком на базе мультиканальных навигационных терминалов
Год: 2010

839. Сутырин Павел Георгиевич. Алгоритмы обработки графовых описаний бесконтекстных языков
Год: 2010

840. Сухов, Антон Александрович. Программное обеспечение системы повышения качества интерфейса компьютерных тренажерных систем
Год: 2010

841. Тарабухина Надежда Константиновна. Методы извлечения бизнес-логики на основе семантических свойств программ
Год: 2010

842. Тарасов Евгений Борисович. Математическое и программное обеспечение многоролевых человеко-машинных интерфейсов для ситуационного управления сложными организационно-техническими объектами : на примере грузовой железнодорожной станции
Год: 2010

843. Терентьев, Сергей Валерьевич. Разработка и реализация основанных на интервальной арифметике алгоритмов компьютерного исследования динамических систем
Год: 2010

844. Тимченко, Вадим Андреевич. Преобразование классов семантических сетей
Год: 2010

845. Титков Антон Вячеславович. Система построения генераторов комбинаторных множеств на основе деревьев и/или
Год: 2010

846. Томилов Иван Николаевич. Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем
Год: 2010

847. Трошин Сергей Владимирович. Мониторинг работы пользователей корпоративных сетей
Год: 2010

848. Турдаков Денис Юрьевич. Методы и программные средства разрешения лексической многозначности терминов на основе сетей документов
Год: 2010

849. Тютюнник, Михаил Борисович. Разработка и исследование продукционной системы параллельного программирования
Год: 2010

850. Усов, Тимофей Михайлович. Методы преобразования клиент-серверного программного обеспечения в сервис-ориентированное : на примере геоинформационных систем
Год: 2010



ПОИСК ДИССЕРТАЦИИ, АВТОРЕФЕРАТА ИЛИ СТАТЬИ


Доставка любой диссертации из России и Украины


ПОСЛЕДНИЕ СТАТЬИ И АВТОРЕФЕРАТЫ

ГБУР ЛЮСЯ ВОЛОДИМИРІВНА АДМІНІСТРАТИВНА ВІДПОВІДАЛЬНІСТЬ ЗА ПРАВОПОРУШЕННЯ У СФЕРІ ВИКОРИСТАННЯ ТА ОХОРОНИ ВОДНИХ РЕСУРСІВ УКРАЇНИ
МИШУНЕНКОВА ОЛЬГА ВЛАДИМИРОВНА Взаимосвязь теоретической и практической подготовки бакалавров по направлению «Туризм и рекреация» в Республике Польша»
Ржевский Валентин Сергеевич Комплексное применение низкочастотного переменного электростатического поля и широкополосной электромагнитной терапии в реабилитации больных с гнойно-воспалительными заболеваниями челюстно-лицевой области
Орехов Генрих Васильевич НАУЧНОЕ ОБОСНОВАНИЕ И ТЕХНИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ЭФФЕКТА ВЗАИМОДЕЙСТВИЯ КОАКСИАЛЬНЫХ ЦИРКУЛЯЦИОННЫХ ТЕЧЕНИЙ
СОЛЯНИК Анатолий Иванович МЕТОДОЛОГИЯ И ПРИНЦИПЫ УПРАВЛЕНИЯ ПРОЦЕССАМИ САНАТОРНО-КУРОРТНОЙ РЕАБИЛИТАЦИИ НА ОСНОВЕ СИСТЕМЫ МЕНЕДЖМЕНТА КАЧЕСТВА