Анализ применимости инструмента Spin к верификации протоколов когерентности памяти
Оценка эффективности применения метода model checking и инструмента Spin с верификацией протоколов когерентности памяти для поиска ошибок в устройствах. Проверка выполнимости характеристик системы. Верификация протокола когерентности "Эльбрус-2S".
Подобные документы
Классификация видов памяти персонального компьютера. Назначение памяти для приема, хранения и избирательной выдачи данных. Оперативная, регистровая, кэш- и внешняя память. Функции внутренней памяти. Виды внешней памяти, их особенности и характеристики.
курсовая работа, добавлен 31.01.2012Назначение сетевого протокола X.25 для передачи данных между компьютерами по телефонным сетям. Изучение функциональных объектов протоколов DSS-1 и ISUP. Построение формата сообщения уровня 3 протокола DDS-1, если тип передаваемого сообщения – SETACK.
контрольная работа, добавлен 30.09.2012Иерархия, принципы и функции системы управления памятью. Отображение адресного пространства на конкретные области. Связь логического и физического адресов при страничной организации памяти. Структура системы ввода-вывода; буферизация и кэширование.
лекция, добавлен 21.09.2017Основные типы оперативной памяти и их технические характеристики. Статическая память SRAM. Основные фирмы–производители оперативной памяти. Цель и назначение ремонта модулей оперативной памяти. Программы для тестирования и дефрагментации памяти.
курсовая работа, добавлен 11.06.2013Применение различных протоколов информационного обмена в среде автоматизированной системы управления радиоэлектронными предприятиями. Анализ сети Петри, отражающей алгоритм выполнения основного цикла программы управления объектом распределенной среды.
статья, добавлен 25.08.2020Совершенствование информационных технологий на предприятиях оборонной промышленности. Принципы построения и структура автоматизированных систем управления. Реализации протоколов асинхронного временного мультиплексирования и быстрой коммутации пакетов.
статья, добавлен 25.08.2020Изучение основных технических характеристик оперативной памяти компьютера, используемой для современных вычислительных устройств. Особенности функционирования ОЗУ на основе графеновых нанолент или нанотрубок. Классификация видов оперативной памяти.
курсовая работа, добавлен 17.02.2014Типы памяти: динамическая оперативная, синхронизируемая с шиной памяти, с удвоенной скоростью передачи данных. Принципы управления и распределения оперативной памяти. Алгоритмы динамического упpавления памятью. Основная концепция виртуальной памяти.
курсовая работа, добавлен 18.04.2014Анализ процесса логического форматирования дисков. Методы создания файловой системы физического накопителя. Особенности структуры каталога. Верификация, дефрагментация и очистка поверхности носителя. Алгоритм распределения информации в оперативной памяти.
контрольная работа, добавлен 30.03.2015Понятие информационной эффективности ассоциативной памяти типа Хопфилда с разреженным кодированием. Векторные модели ассоциативной памяти. Эйбедология и нейропрогноз, теорма Такенса. Введение в байесовы сети. Неопределенность и неполнота информации.
курс лекций, добавлен 08.02.2013Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
статья, добавлен 11.07.2018Память в информатике - способность объекта обеспечивать хранение данных. Хранение осуществляется в запоминающих устройствах. Виртуальная память - ресурсы оперативной или внешней памяти, выделяемые в прикладной программе, физическое ее расположение.
реферат, добавлен 06.04.2010Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Изображение архитектуры ядра системы. Буфер сверхоперативной памяти, его структура. Механизмы поиска буфера. Внутреннее представление файлов. Превращение составного имени файла в индекс, алгоритм namei. Индекс в оперативной памяти, его элементы.
дипломная работа, добавлен 31.10.2017- 65. Виды памяти
Объем и исполнение оперативной памяти для временного хранения данных и программ. Базовая система ввода-вывода. Сохранение настроек, необходимых для работы программ BIOS на CMOS-памяти. Назначение Кэш-памяти процессора. Устройство современной видеокарты.
реферат, добавлен 08.04.2014 Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Описание игровой программы, предназначенной для тренировки памяти. Характеристика механизмов развития памяти. Анализ интерфейса программы, механизмов взаимодействия с ней пользователя. Изучение отличий в развитии памяти школьников разного возраста.
статья, добавлен 31.07.2018Типы адресов. Методы распределения памяти без использования дискового пространства. Распределение памяти перемещаемыми и динамическими разделами. Страничное распределение памяти. Распределение памяти сегментами. Принцип кэширования данных. Кэш-память.
реферат, добавлен 05.02.2009Понятие, характеристика и значение протокола управления передачей и пользовательских диаграмм. Описание функций и применения протоколов, процесс отправки и получения сообщений. Сущность и использование широковещательной передачи и групповой рассылки.
доклад, добавлен 29.04.2015Изучение истории создания и эволюции серии советских суперкомпьютеров "Эльбрус". Основные модули вычислительной системы Эльбрус, оперативная память, система команд центрального процессора, процессор ввода-вывода и передачи данных, синхронизация команд.
реферат, добавлен 16.10.2015Концепция виртуальной памяти, обеспечение надежного функционирования мультипрограммных систем. Механизм разделения небольшой физической памяти между различными задачами. Особенности простых схем со страничной организацией памяти. Основные типы сегментов.
доклад, добавлен 27.01.2018Определение понятия и основные черты криптографических протоколов. Сущность распределения ролей. Описание протоколов с судейством и самоутверждающегося. Разновидности атак на протоколы. Доказательство с нулевым разглашением конфиденциальной информации.
курсовая работа, добавлен 20.05.2014- 73. Стандарт 6LoWPAN
Причины невозможности прямой поддержки протоколов Internet для подавляющего большинства узлов сенсорных сетей. Краткое описание и анализ ключевых особенностей сетей 6LoWPAN. Рассмотрение взаимодействия стека протоколов NanoStack с прикладным приложением.
контрольная работа, добавлен 15.12.2012 Исследование оперативной памяти с логической и физической точек зрения. Описание микросхем и модулей памяти, которые можно установить в компьютере. Изучение основных методов системной организации памяти. Использование модулей памяти с покрытием контактов.
курсовая работа, добавлен 15.12.2013Основные понятия об устройствах внешней памяти. Накопитель на жестких магнитных дисках. Структура носителей CD и DVD. Разновидности носителей данных по технологии DVD. Flash-памяти и принцип хранения данных. Выбор оптимального носителя информации.
курсовая работа, добавлен 23.03.2015