Заглавие журнала :Вопросы радиоэлектроники -2014г.,N 3 Интересные статьи : Мешков А. Н. Развитие средств верификации микропроцессора «Эльбрус-2S»/ А. Н. Мешков, М. П. Рыжов, В. А. Шмелев (стр.5-17) Кл.слова: верификация,модели,тестирование Стотланд И. А. Применение эталонных событийных моделей для автономной верификации модулей микропроцессоров/ И. А. Стотланд, А. А. Лагутин (стр.17-27) Кл.слова: верификация,система тестовая,модель событийная Камкин А. С. Система поддержки верификации реализаций протоколов когерентности с использованием формальных методов/ А. С. Камкин, М. В. Петроченков (стр.27-38) Кл.слова: консистентность памяти,тестирование,протоколы когерентности Фролов П. В. Генерация случайных тестов системного уровня для микропроцессоров с архитектурой «Эльбрус»/ П. В. Фролов (стр.38-46) Кл.слова: верификация системная,генерация тестов,тестирование на основе моделей Куцевол В. Н. Верификации графической подсистемы, интегрированной в процессор/ В. Н. Куцевол, А. Н. Мешков, Е. М. Николаева (стр.46-56) Кл.слова: адаптер графический,моделирование,тестирование на основе моделей Буренков В. С. Генератор тестов для верификации протокола когерентности кэш-памяти/ В. С. Буренков (стр.56-63) Кл.слова: генератор тестов,протоколы когерентности,верификация Знаменский Д. В. Выбор вариантов реализации средств аппаратной поддержки виртуализации архитектуры «Эльбрус»/ Д. В. Знаменский (стр.64-73) Кл.слова: виртуализация,гипервизор,прерывания виртуальные Горелов М. А. Использование аффинных преобразований для автоматического распараллеливания циклов/ М. А. Горелов (стр.74-86) Кл.слова: компилятор оптимизирующий,преобразования афинные,распараллеливание автоматическое Волин В. С. Управление энергопотреблением процессорных ядер из операционной системы для прототипа ВК на базе микропроцессоров семейства «Эльбрус»/ В. С. Волин, Е. М. Кравцунов, С. В. Семенихин (стр.87-97) Кл.слова: ядро Linux,управление энергопотреблением,микропроцессоры "Эльбрус" Ноздрин И. К. Выбор системы распределения синхросигналов для быстродействующих микропроцессоров/ И. К. Ноздрин, А. В. Мальшин, Р. Р. Девликамов (стр.98-106) Кл.слова: дерево синхронизации,моделирование,мощность Альфонсо Д. М. Разработка системы тестирования и повышения выхода годной продукции для кэш-памяти микропроцессора/ Д. М. Альфонсо, М. В. Исаев, В. О. Костенко (стр.106-118) Кл.слова: кэш-память,резервирование,March-тест Слесарев М. В. Определение расчётной частоты эмуляции микропроцессора в прототипе на основе ПЛИС/ М. В. Слесарев, С. В. Юрлин (стр.119-130) Кл.слова: прототипирование,интерфейс,сериализация Бычков И. Н. Анализ электронных компонент для доверенного вычислительного оборудования/ И. Н. Бычков, Ю. С. Рябцев, К. А. Трушкин (стр.131-146) Кл.слова: безопасность информационная,разработка процессоров,индикативное планирование Егоров Г. А. Архитектурные особенности реализации облачных хранилищ для архивных применений/ Г. А. Егоров, В. И. Шяудкулис (стр.147-160) Кл.слова: архивация данных,хранилища данных облачные,кластеры Парамонов Н. Б. Моделирование информационных систем на разнесённом стенде/ Н. Б. Парамонов, Ю. В. Морозов, И. В. Минин (стр.160-170) Кл.слова: моделирование,испытания,системы сложные технические Баранов И. А. Модельно-ориентированный подход в разработке программных компонент для комплексов СМ1820М/ И. А. Баранов (стр.171-180) Кл.слова: язык предметно-ориентированный,ПЛК,подход модельно-ориентированный Кравцунов Е. М. Коммуникация вычислительных средств семейства «Эльбрус» в распределенных системах управления: проблемы сжатия данных/ Е. М. Кравцунов, Т. Р. Мустафин, В. И. Перекатов (стр.180-190) Кл.слова: мощность алфавита,Райса-Голомба кодирование,энтропия информационная Захаров С. М. Спектрально-временные свойства кардиоинтервалов/ С. М. Захаров, М. С. Захаров, В. Е. Красовский (стр.191-202) Кл.слова: ряды временные,ритмограмма,спектры Фурье Прохоров Н. Л. Анализ проблем и перспектив разработки робототехнических систем интеллектуального протезирования на основе нейротехнологий/ Н. Л. Прохоров, Г. Г. Знайко, А. А. Швеин (стр.202-213) Кл.слова: интерфейс мозг-компьютер,управление протезами,нейроинтерфейсы Интересные статьи : Доп.точки доступа: Мешков, А. Н. Стотланд, И. А. Камкин, А. С. Фролов, П. В. Куцевол, В. Н. Буренков, В. С. Знаменский, Д. В. Горелов, М. А. Волин, В. С. Ноздрин, И. К. Альфонсо, Д. М. Слесарев, М. В. Бычков, И. Н. Егоров, Г. А. Парамонов, Н. Б. Баранов, И. А. Кравцунов, Е. М. Захаров, С. М. Прохоров, Н. Л. Рыжов, М. П. Лагутин, А. А. Петроченков, М. В. Мальшин, А. В. Исаев, М. В. Юрлин, С. В. Рябцев, Ю. С. Шяудкулис, В. И. Морозов, Ю. В. Мустафин, Т. Р. Захаров, М. С. Знайко, Г. Г. Шмелев, В. А. Николаева, Е. М. Семенихин, С. В. Девликамов, Р. Р. Костенко, В. О. Трушкин, К. А. Минин, И. В. Перекатов, В. И. Красовский, В. Е. Швеин, А. А.