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

Поиск по ключевому слову "верификация"


Пути повышения энергоэффективности динамических насосов на основе современных компьютерных технологий

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

Авторы: Петров А.И., Ломакин В.О., Семенов С.Е.

Опубликовано в выпуске: #4(16)/2013

DOI: 10.18698/2308-6033-2013-4-689

Раздел: Машиностроение | Рубрика: Гидромеханика и гидромашины

Программный комплекс верификации алгоритмов программного обеспечения с помощью иерархических сетей Петри

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

Авторы: Рудаков И.В., Пащенкова А.В.

Опубликовано в выпуске: #2(14)/2013

DOI: 10.18698/2308-6033-2013-2-538

Раздел: Информационные технологии

Обоснование архитектуры перспективной системы обнаружения и предотвращения вторжений

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

Авторы: Сычев М.П., Астрахов А.В., Здирук К.Б., Подвойский И.И.

Опубликовано в выпуске: #2(14)/2013

DOI: 10.18698/2308-6033-2013-2-533

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

Текстонезависимый метод идентификации человека по его голосу

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

Авторы: Можаров Г.П., Чеботарев Р.С.

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

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

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

Математическая модель взаимных блокировок. Корректное использование исключающих семафоров

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

Авторы: Свирин И.С., Силин П.А., Сюзев В.В., Зарецкая Е.А.

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

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

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

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

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

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

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

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

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