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