Научная Библиотека Пермского Государственного Университета

   П.209
   М 340

    Математика программных систем : межвузовский сборник научных трудов / Государственный комитет Российской Федерации по высшему образованию, Пермский государственный университет, гл. ред. А.И. Миков. - Пермь : [б. и.]. - 1993. - 188 с. - ). - Б. ц.
    Содержание:
Андреев, А. О. Основные возможности системы управления памятью ОС МКП / А. О. Андреев. - С .4
Алексеев, А. А. Принципы разработки и организации многоязыковой системы программирования для суперЭВМ / А. А. Алексеев, Л. Е. Карпов, С. Л. Подгорнова. - С .9
Белов, М. А. Методика использования двухуровневой оперативной памяти ВС "Эльбрус 3-1" в трансляторе с базового языка программирования / М. А. Белов. - С .35
Бремер, Д. Б. Поддержка объектного подхода в командном языке МКП / Д. Б. Бремер. - С .45
Бяков, А. Ю. Основные возможности ОС МКП / А. Ю. Бяков. - С .52
Замятина, Е. Б. Программные средства доопределения частично описанных моделей в TRIAD / Е. Б. Замятина. - С .65
Маев, А. В. Поддержка параллельного программирования в ОС МКП / А. В. Маев. - С .75
Родионов, В. М. Организация пакетной и диалоговой обработки в МКП / В. М. Родионов. - С .86
Скурат, Н. К. Организация многоязыковой символьной отладки и динамической диагностики программ в ОС МКП / Н. К. Скурат. - С .94
Филимонов, В. В. Механизмы совместности, теорема опускания типов и логика Хоара / В. В. Филимонов. - С .101
Калинина, Т. Б. Модель параллельных объектно-ориентированных вычислений и ее реализация в языке SMALLTALK / Т. Б. Калинина. - С .108
Чуприна, С. И. Инструментальные средства построения экспертных систем и вопросы их реализации / С. И. Чуприна. - С .116
Фролова, Н. В. Методы реализации математического обеспечения представления и применения грамматик для порождения структур / Н. В. Фролова. - С .131
Лядова, Л. Н. Использование полиморфизма в системе автоматизации проектирования ВС / Л. Н. Лядова. - С .142
Харитонов, В. А. Формальная система синтеза алгоритмов на основе моделирования вычислительных процессов в дискретном пространстве состояний / В. А. Харитонов, А. В. Олейников. - С .158
Матушкин, Н. Н. Особенности построения комплексного программного обеспечения сетевых систем автоматизации испытаний / Н. Н. Матушкин, А. А. Сюткин, А. А. Южаков. - С .165
Родионов, А. С. О распределении случайных битовых строк / А. С. Родионов. - С .177

УДК

681.332.23(066)

Рубрики: Вычислительная техника
   Информатика
   Сложные программные системы
   Математическое обеспечение

Доп.точки доступа:
Миков, А.И. \ред.\; Государственный комитет Российской Федерации по высшему образованиюПермский государственный университет
Экземпляры всего: 3
ОПЛ (3)
Свободны: ОПЛ (3)
Найти похожие

   П.209
   М 744

    Моделирование вычислительных систем и процессов : межвузовский сборник научных трудов / Министерство высшего и среднего специального образования РСФСР, Пермский государственный университет, гл. ред. А.И. Миков. - Пермь : [б. и.]. - 1990. - 130 с. - ). - Б. ц.
    Содержание:
Волтянский, А. А. Методология структурного иерархического проектирования вычислительных систем / А. А. Волтянский, Беликов. - С .4
Викентьев, Л. Ф. Моделирование логических схем алгоритмов системами булевых функций / Л. Ф. Викентьев, А. А. Клюкин. - С .10
Гончаровский, О. В. Применение модели программного управляемого автомата для построения тестов дискретных устройств / О. В. Гончаровский, Е. Л. Кон. - С .15
Лядова, Л. Н. Совместное проектирование аппаратуры и программ в системе Triad / Л. Н. Лядова. - С .20
Залогова, Л. А. Использование атрибутных грамматик в переносимом компиляторе / Л. А. Залогова. - С .37
Замятина, Е. Б. Пакет информационных процедур для исследования ВС / Е. Б. Замятина, А. И. Миков. - С .44
Миков, А. И. Аналитико-имитационное моделирование / А. И. Миков. - С .55
Фролова, Н. В. Преобразование структур в графические и текстовые объекты / Н. В. Фролова, И. Е. Селикова. - С .61
Низамутдинов, О. Б. Структура специализированной вычислительной системы для решения задач управления материальным потоком / О. Б. Низамутдинов, Е. В. Долгова, А. С. Иванов. - С .66
Иванов, А. А. Выразительные возможности операций над моделями вычислительных систем / А. А. Иванов. - С .70
Левин, В. И. Переходные процессы в дискретных устройствах последовательного типа / В. И. Левин, Н. К. Земцова. - С .74
Матушкин, Н. Н. Вопросы моделирования адаптивной телеизмерительной системы / Н. Н. Матушкин, А. А. Сюткин, А. А. Южаков. - С .83
Матросов, А. Г. ЭСТЛОГ: система временного логического программирования, реализующая идеологию событийного моделирования / А. Г. Матросов. - С .88
Лядова, Л. Н. Таблично-управляемая трансляция программ в системе проектирования Triad / Л. Н. Лядова. - С .98
Солдатов, В. Н. Имитационное моделирование информационных потоков АСНИ / В. Н. Солдатов, В. А. Солдатов. - С .109
Хабас, В. Б. Об инвариативности показателей работы вычислительной системы с множественным доступом / В. Б. Хабас. - С .113
Чуприна, С. И. Применение ассоциативных сетей в САПР и СУБД / С. И. Чуприна. - С .120

ГРНТИ	50
УДК	681.3

Рубрики: Вычислительная техника
Кл.слова (ненормированные):
ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ) -- Моделирование

Доп.точки доступа:
Миков, А. И. \ред.\; Министерство высшего и среднего специального образования РСФСРПермский государственный университет
Экземпляры всего: 1
ОПЛ (1)
Свободны: ОПЛ (1)
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 09.08.2024
Число запросов	28104
Число посетителей	520
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)