|
Total work:2087
2001. Шершнев, Дмитрий Алексеевич. Решение задачи составления расписания для гибких систем на основе инвариантной модели
the year: 1992 2002. Штильман, Лев Фроймович. Мобильность и преемственность при проектировании программно-аппаратных систем
the year: 1992 2003. Шутова, Ирина Алексеевна. Алгоритмы и программы обработки ваттметрической информации для технического диагностирования скважинных штанговых насосных установок
the year: 1992 2004. Щедрин, Сергей Михайлович. Исследование и разработка объектно-ориентированной системы геометрического моделирования
the year: 1992 2005. Щедрин, Сергей Михайлович. Последование и разработка объектно-ориентированной системы геометрического моделирования
the year: 1992 2006. Эрдэнэдэлгэр Тогмидын. Вопросы создания распределенной системы обработки экспериментальных данных и автоматизированного рабочего места физика на базе ЕС ЭВМ и ПЭВМ
the year: 1992 2007. Язневич, Марина Ивановна. Отображение и реализация задач численного анализа сетевых графов на архитектуру векторно-конвейерной супер-ЭВМ
the year: 1992 2008. Яицков, Александр Сергеевич. Многоуровневая верификация супер ЭВМ. Временной анализ и управление конструкторским проектированием
the year: 1992 2009. Ярко, Людмила Владимировна. Полнота тестирования реализации контекстных свойств языка программирования в трансляторах
the year: 1992 2010. Абдыкалыков, Талантбек Асиевич. Автоматизированное конструирование программ на основе генерирующих модулей
the year: 1991 2011. Андреев, Олег Юрьевич. Автоматизированный практикум по методам конструирования компиляторов
the year: 1991 2012. Андреев, Сергей Вадимович. Разработка программного обеспечения для исследования речевых сигналов
the year: 1991 2013. Березовский, Александр Викторович. Концептуальный анализ программного обеспечения распределенных вычислительных систем
the year: 1991 2014. Богачев, Дмитрий Александрович. Семантическая память адаптивных интеллектуальных систем
the year: 1991 2015. Бочков, Сергей Олегович. Автоматизация отладки программ на основе операционного описания их поведения
the year: 1991 2016. Вершигора, Руслан Владимирович. Организация конвейерной связи модулей в пакете прогамм
the year: 1991 2017. Вольперт, Александр Борисович. Взаимодействие последовательных алгоритмов: описание, моделирование и анализ
the year: 1991 2018. Галкин, Игорь Михайлович. Семантические сети в разработке и сопровождении программ
the year: 1991 2019. Гинкул, Геннадий Петрович. Игровой подход к формированию баз знаний в экспертных системах
the year: 1991 2020. Грачев, Андрей Юрьевич. Структурирование данных в диалоговой системе программирования ДССП
the year: 1991 2021. Громов, Феликс Исаакович. Метод сохранения и восстановления состояния вычислительного процесса по сигналу отказа
the year: 1991 2022. Жаков, Вячеслав Иванович. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей
the year: 1991 2023. Запреев, Сергей Степанович. Поддержка разработки многоязыковых программных комплексов
the year: 1991 2024. Зевина, Светлана Георгиевна. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ
the year: 1991 2025. Имамов, Толкин Турдыалиевич. Специализированная система аналитических преобразований для вариационных задач механики
the year: 1991 2026. Кафиков, Ильдар Загитович. Децентрализованное функционирование кольцевой мультипроцессорной системы для параллельной обработки деловой информации
the year: 1991 2027. Ковальчук, Олег Георгиевич. Конструкция средств поддержки картинно-графических баз данных в системе интеграции неоднородных баз данных и знаний
the year: 1991 2028. Кулибаба, Александр Васильевич. Реализация унифицированной пользовательской среды для МВК "Эльбрус"
the year: 1991 2029. Лозовский, Николай Дмитриевич. Система компьютерной алгебры для реализации алгоритмов асимптотической теории дифференциальных уравнений
the year: 1991 2030. Лысковский, Виктор Иванович. Объектно—ориентированная схема трансляции на примере транслятора с языка ПЛ/1
the year: 1991 2031. Лядова, Людмила Николаевна. Арифметический полиморфизм в исследовании и проектировании алгоритмов управления ВС
the year: 1991 2032. Марченко, Антон Леонардович. Методы реализации систем продукционного программирования
the year: 1991 2033. Маслов, Вадим Юрьевич. Разработка векторизатора для системы кросс-программирования
the year: 1991 2034. Мойбенко, Александр Николаевич. Разработка структуры и программного обеспечения системы контроля и управления каналами пучков частиц ускорителя У-70 ИФВЭ
the year: 1991 2035. Мукин, Александр Николаевич. Разработка стартовой операционной системы ВК "Эльбрус Б" для проверки устройств
the year: 1991 2036. Мякишев, Дмитрий Владимирович. Разработка методов логического проектирования программного обеспечения систем управления динамическими объектами на базе встраиваемых ЭВМ
the year: 1991 2037. Начетой, Юрий Витальевич. Инструментальные средства программирования, основанные на тензорном подходе
the year: 1991 2038. Никонов, Николай Станиславович. Операционная обстановка коллективного автоматизированного рабочего места служащих
the year: 1991 2039. Норкин, Олег Рауфатович. Разработка программного обеспечения многопроцессорных вычислительных систем на основе программной модели и знаний проблемной области
the year: 1991 2040. Помовцева, Галина Георгиевна. Методы оценки характеристик программного обеспечения для микро-ЭВМ
the year: 1991 2041. Попрыгаев, Евгений Владимирович. Разработка ядра системы обосновательного гиперпрограммирования
the year: 1991 2042. Потапов, Дмитрий Анатольевич. Исследование и разработка методов построения автоматизированных систем отладки программного обеспечения специализированных вычислительных комплексов
the year: 1991 2043. Рухлин, Алексей Павлович. Система программ динамической поддержки для транслятора с алгола 68
the year: 1991 2044. Сафонов, Владимир Олегович. Тип-технология и её применение при разработке систем программирования и экспертных систем для высокопроизводительных вычислительных комплексов
the year: 1991 2045. Сикора, Эва. Модель времени с модальностями для отображения темпоральных структур в базах знаний
the year: 1991 2046. Смелянский, Руслан Леонидович (1950-). Анализ производительности распределенных микропроцессорных систем на основе инварианта поведения программ
the year: 1991 2047. Сорокин, Вячеслав Викторович. Модель архитектуры технологических программных окружений для больших систем
the year: 1991 2048. Студеникин, Валерий Алексеевич. Математическое моделирование нелинейного взаимодействия оптических пучков с учетом самофокусировки, вынужденного рассеяния мандельштама-бриллюэна и обращения волнового фронта
the year: 1991 2049. Сулимов, Александр Александрович. Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программ
the year: 1991 2050. Сутормина, Татьяна Михайловна. Принципы построения и разработка протокольных объектов для полностью неоднородных распределенных систем обработки данных
the year: 1991 |
