Системы и средства информатики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Системы и средства информ.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2010, том 20, выпуск 3  

Дополнительная информация о выпуске

Предисловие
3
Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс
4
Использование спецификации «Hypervisor Functional Specification» при разработке виртуальных машин и управлении их работой
В. Ю. Егоров, Е. А. Матвеев
17
Сигнальный механизм языка Cell
Т. В. Бондаренко, О. А. Бондаренко, К. И. Волович, В. А. Кондрашев
45
Язык Cell: модель обработки клонов
Т. В. Бондаренко, О. А. Бондаренко, К. И. Волович, В. А. Кондрашев
67
Базовая модель функционирования автомата в системе программирования Cell
Т. В. Бондаренко, О. А. Бондаренко, К. И. Волович, В. А. Кондрашев
82
Некоторые общие подходы к формированию функциональных требований к ситуационным центрам и их реализации
А. В. Босов, А. А. Зацаринный, А. П. Сучков
98
Об одном подходе к обоснованию требований к компонентам оборудования ситуационного центра
А. А. Зацаринный, К. Г. Чупраков
126
Методический подход к обоснованию требований к надежности информационно-телекоммуникационных сетей
А. А. Зацаринный, А. И. Гаранин, Ю. С. Ионенков
157
Стенд главного конструктора — организационно-техническая основа разработки крупно-масштабных информационно-телекоммуникационных систем
А. А. Зацаринный, А. И. Гаранин, С. В. Козлов
174
Системы и средства информатики
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021