Периодика по информатике и вычислительной технике
  • формат pdf
  • размер 2,90 МБ
  • добавлен 19 июня 2014 г.
Системы и средства информатики 2010 №20. Часть 3
«Системы и средства информатики» — периодический журнал Российской академии наук, основанный в 1989 г. Выходит 2 раза в год. Входит в список ВАК.
Журнал публикует теоретические, обзорные и дискуссионные статьи, посвященные научным исследованиям и разработкам в области информационных технологий. Журнал издается на русском языке.
Тематика журнала охватывает следующие направления:
- информационно-телекоммуникационные системы и средства их построения,
- архитектура и программное обеспечение вычислительных машин, комплексов и сетей,
- методы и средства защиты информации.
Содержание
Предисловие
С.Л. Френкель, А.Л. Курц, Д.Л. Либуркин, H.A. Фандюшина, Б.Н. Андерс. Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
В.Ю. Егоров, Е.А. Матвеев. Использование спецификации «Hypervisor Functional Specification» при разработке виртуальных машин и управлении их работой
Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев. Сигнальный механизм языка Cell
Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев. Язык Cell: модель обработки клонов
Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев. Базовая модель функционирования автомата в системе программирования Cell
А.В. Босов, А.А. Зацаринный, А.П. Сучков. Некоторые общие подходы к формированию функциональных требований к ситуационным центрам и их реализации
А.А. Зацаринный, К.Г. Чупраков. Об одном подходе к обоснованию требований к компонентам оборудования ситуационного центра
А.А. Зацаринный, А.И. Гаранин, Ю.С. Ионенков. Методический подход к обоснованию требований к надежности информационно-телекоммуникационных сетей
А.А. Зацаринный, А.И. Гаранин, С.В. Козлов. Стенд главного конструктора — организационно-техническая основа разработки крупно-масштабных информационно-телекоммуникационных систем