Х 553 Хлебников, Андрей Александрович. Информатика [Текст] : учебник / А. А. Хлебников. - Ростов н/Д : Феникс, 2016. - 427 с : рис., табл. - (Среднее профессиональное образование). - Библиогр.: с. 414. - ISBN 978-5-222-26877-3 : 512.00 р. Коды, Ключ.слова, Доп.точки доступа Имеются экземпляры в отделах: , счз1 (1 экз.) Свободны: счз1 (1) |
> Шифр: В658131/2014/3 Журнал 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 Кл.слова: интерфейс мозг-компьютер, управление протезами, нейроинтерфейсы Имеются экземпляры в отделах: всего 1 : ахл (1) Свободны: ахл (1) |