Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

Математическая модель многопоточной программы и правила безопасного многопоточного программирования

Опубликовано: 01.01.2013

Авторы: Свирин И.С., Силин П.А., Сюзев В.В.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-482

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN

Опубликовано: 01.01.2013

Авторы: Можаров Г.П., Парфилов И.В.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-481

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Проблема создания национальной российской программной платформы, место и роль ВНИИНСа в ее разработке и реализации

Опубликовано: 01.01.2013

Авторы: Павлусик И.А., Андреев А.М.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-480

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей

Опубликовано: 31.12.2012

Авторы: Андреев А.М., Можаров Г.П.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-479

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Подход к верификации моделей систем реального времени с помощью метода Model Checking

Опубликовано: 31.12.2012

Авторы: Андреев А.М., Козлов И.А.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-478

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Математическое моделирование надежности компьютерных систем и сетей

Опубликовано: 31.12.2012

Авторы: Ананенков А.Е., Березкин Д.В., Можаров Г.П., Свирин И.С.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-477

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети