|
Всего работ:2062
1851. Сабельфельд, Виктор Карлович. Анализ свойств и эквивалентные преобразования на моделях программ
Год: 1994 1852. Сапир, Марина Валентиновна. Построение оптимальных гипотез в признаковом пространстве - разработка методов и анализ их вычислительной сложности
Год: 1994 1853. Силич, Мария Петровна. Метод формирования гибридных моделей и инструментальный комплекс для построения экспертных систем
Год: 1994 1854. Смирнов, Александр Юрьевич. Операционная система для микропроцессорных вычислительных систем с разделяемой памятью
Год: 1994 1855. Ткаченко, Александр Андреевич. Разработка методов и способов обработки и визуализации данных в интеллектуальной геоинформационной системе
Год: 1994 1856. Толок, Александр Сергеевич. Объектно-ориентированные средства интеграции подсистем графической поддержки принятия решений
Год: 1994 1857. Ухов, Владимир Иосифович. Разработка элементов математического и программного обеспечения для диагностики и настройки магнитооптических систем
Год: 1994 1858. Чичиков, Александр Викторович. Методы и средства автоматического проектирования программ по операторным термам
Год: 1994 1859. Чочжа, Георгий Антонович. Исследование и разработка коммуникационных средств в многопроцессорных вычислительных системах
Год: 1994 1860. Чуканов, Всеволод Озирисович. Разработка и исследование методов и средств надежностного проектирования специализированных ЭВМ с комбинированным резервированием
Год: 1994 1861. Шахин Вади Ханна. Разработка методов оптимального проектирования программных средств
Год: 1994 1862. Шахновский, Юрий Сергеевич. Алгоритмы оптимизации горизонтальных микропрограмм
Год: 1994 1863. Юдин, Александр Николаевич. Современная технология моделирования трехмерных задач электрофизики
Год: 1994 1864. Алешин, Алексей Юрьевич. Разработка инструментальных средств многоуровневого управления в системах, основанных на знаниях
Год: 1993 1865. Антонова, Елена Ивановна. Разработка и исследование генератора специализированных интеллектуальных диалоговых редакторов баз знаний
Год: 1993 1866. Артамонов, Григорий Феликсович. Алгоритмическое и программное обеспечение для исследования естественных семейств периодических решений
Год: 1993 1867. Бакланова, Ольга Евгеньевна. Экспериментальное программное обеспечение по сжатию функциональных зависимостей и цветных изображений
Год: 1993 1868. Бежанова, Майя Михайловна. Методическая и системная поддержка разработки пакетов прикладных программ
Год: 1993 1869. Березин, Евгений Герольдович. Языковые средства программирования в объектно-базированной среде КЛАСТОС
Год: 1993 1870. Берс, Андрей Александрович. Архитектура рабочей станции "Мрамор" и ее программное обеспечение
Год: 1993 1871. Биренбаум, Михаил Иосифович. Разработка методических и программно-технологических средств организации гетерогенных локальных сетей произвольной топологии
Год: 1993 1872. Богданова, Ольга Владимировна. Разработка методов моделирования и оптимизации распределенных систем обработки данных на локальных вычислительных сетях
Год: 1993 1873. Борисов, Сергей Христофорович. Автоматизация многопрограммного моделирования
Год: 1993 1874. Булышева, Лариса Андреевна. Разработка метода многофункционального совмещения при автоматизации параллельного программирования для VLIW-процессоров
Год: 1993 1875. Бульонкова, Анна Андреевна. Управление данными во встроенных системах
Год: 1993 1876. Вагин, Дмитрий Алексеевич. Адаптируемая мобильная операционная система микроЭВМ для автоматизации физических исследований
Год: 1993 1877. Вартазарян, Ара Эдикович. Параллельная реализация математических функций для архитектур с динамически изменяемой длиной операндов
Год: 1993 1878. Виноградов, Владимир Иванович. Интегрированная проблемно-ориентированная система расчета систем управления
Год: 1993 1879. Городин, Кирилл Ефимович. Инструментальная программная среда для оценки состояния человека-оператора в экстремальных условиях
Год: 1993 1880. Гринберг, Сергей Яковлевич. Проектирование и разработка оболочки для конструирования диагностических экспертных систем
Год: 1993 1881. Дзенгелевский, Андрей Евгеньевич. Математическое и программное обеспечение ситуационной инструментальной экспертной системы
Год: 1993 1882. Ерофеева, Галина Петровна. Принципы организации вычислительного процесса в многомашинном радиолокационном комплексе
Год: 1993 1883. Журавлева, Татьяна Эдуардовна. Гибридный инструментарий интеллектуальных систем на основе расширенного логического программирования
Год: 1993 1884. Замятина, Елена Борисовна. Программные механизмы автоматизации имитационного моделирования вычислительных систем
Год: 1993 1885. Засыпкин, Андрей Владимирович. Экспертная система поддержки решений по рациональной организации охранно-пожарной сигнализации
Год: 1993 1886. Иванов, Дмитрий Анатольевич. Представление знаний и поддержка рассуждений с использованием ограничений
Год: 1993 1887. Калита, Александр Викторович. Программно-алгоритмическое и информационное обеспечение построения интеллектуальных программных систем интеграрованной обработки временных рядов
Год: 1993 1888. Капризкина, Ирина Юрьевна. Сложные объекты в системе хранения
Год: 1993 1889. Ковтушенко, Александр Петрович. Информационный анализ программ, ориентированный на процессор с длинным командным словом
Год: 1993 1890. Конохова, Светлана Владимировна. Разработка способов систематизации процесса создания программного обеспечения
Год: 1993 1891. Кострюков, Владимир Александрович. Системы мультидоступа и восстановления в современных СУБД
Год: 1993 1892. Кульман, Никита Юрьевич. Исследование и разработкаэлементов программного обеспеченияобработки данных для экспериментовна установках ФОДС и СФИНКС
Год: 1993 1893. Лютый, Виктор Григорьевич. Язык Модула-90К и его реализация
Год: 1993 1894. Майоров, Андрей Анатольевич. Разработка и анализ алгоритмов настройки оптики пучков высоких энергий
Год: 1993 1895. Максимов, Андрей Вячеславович. Иерархическое конфигурационное управление в системе автоматизации разработки крупных программных комплексов
Год: 1993 1896. Мартынов, Виктор Лукьянович. Методы повышения эффективности виртуальных ЭВМ в системах автоматизации проектирования программного обеспечения АСУ реального времени
Год: 1993 1897. Марченко, Александр Иванович. Способы автоматизации программирования процессоров цифровой обработки сигналов
Год: 1993 1898. Марчук, Александр Гурьевич. Методы и средства экспериментального проектирования архитектуры ЭВМ и микропроцессоров
Год: 1993 1899. Марьясина, Татьяна Давидовна. Создание учебно-исследовательской программной среды в области математических дисциплин
Год: 1993 1900. Остов, Юрий Яковлевич. Применение вариационных методов в задачах алгоритмического обеспечения движения летательных аппаратов
Год: 1993 |
