Подробное описание документа
Журнал
Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение.
Спец. вып. Моделирование и идентификация. - 2012.
1 экз.
Вы можете получить данный документ в одном из следующих отделов
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.313, ГУК, ауд. 313
Содержание
с. 3-46
Статья
Математическое моделирование надежности компьютерных систем и сетей / Андреев А. М., Березкин Д. В., Можаров Г. П., Свирин Ил. С.
с. 47-60
Статья
Андреев А. М., Козлов И. А.
Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А.
Подход к верификации моделей систем реального времени с помощью метода Model Checking / Андреев А. М., Козлов И. А.
с. 61-69
Статья
Андреев А. М., Можаров Г. П.
Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей / Андреев А. М., Можаров Г. П.
Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей / Андреев А. М., Можаров Г. П.
с. 70-85
Статья
Павлусик И. А., Андреев А. М.
Проблемы создания национальной российской программной платформы, место и роль ВНИИНСа в ее разработке и реализации / Павлусик И. А., Андреев А. М.
Проблемы создания национальной российской программной платформы, место и роль ВНИИНСа в ее разработке и реализации / Павлусик И. А., Андреев А. М.
с. 86-94
Статья
Можаров Г. П., Парфилов И. В.
Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN / Можаров Г. П., Парфилов И. В.
Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN / Можаров Г. П., Парфилов И. В.
с. 95-111
Статья
Силин П. А., Свирин Ил. С., Сюзев В. В.
Математическая модель многопоточной программы и правила безопасного многопоточного программирования / Силин П. А., Свирин Ил. С., Сюзев В. В.
Математическая модель многопоточной программы и правила безопасного многопоточного программирования / Силин П. А., Свирин Ил. С., Сюзев В. В.
с. 112-121
Статья
Математическая модель взаимных блокировок. Корректное использование исключающих семафоров / Свирин Ил. С., Силин П. А., Сюзев В. В., Зарецкая Е. А.
с. 122-132
Статья
Андреев А. М., Свирин Ив. С.
Регрессионное тестирование автоматизированных систем учета, построенных на базе конфигуратора / Андреев А. М., Свирин Ив. С.
Регрессионное тестирование автоматизированных систем учета, построенных на базе конфигуратора / Андреев А. М., Свирин Ив. С.
с. 133-152
Статья
Андреев А. М., Усовик С. В.
Модель трафика корпоративной телекоммуникацион-ной сети с пакетной коммутацией в задаче кластеризации при условии ограниченного наблюдения / Андреев А. М., Усовик С. В.
Модель трафика корпоративной телекоммуникацион-ной сети с пакетной коммутацией в задаче кластеризации при условии ограниченного наблюдения / Андреев А. М., Усовик С. В.
с. 153-167
Статья
Сюзев В. В., Ханин А. А.
Гибридный метод оптического распознавания текста с коррекцией результатов распознавания / Сюзев В. В., Ханин А. А.
Гибридный метод оптического распознавания текста с коррекцией результатов распознавания / Сюзев В. В., Ханин А. А.
с. 168-179
Статья
Можаров Г. П., Чеботарев Р. С.
Текстонезависимый метод идентификации человека по его голосу / Можаров Г. П., Чеботарев Р. С.
Текстонезависимый метод идентификации человека по его голосу / Можаров Г. П., Чеботарев Р. С.