Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems

Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
doi 10.18698/0236-3933-2017-1-49-66
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Bauman Moscow State Technical University

Related search

Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
2000English

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Constructing Property-Oriented Models for Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Cache Coherence Protocol of the Data Diffusion Machine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Leveraging Cache Coherence in Active Memory Systems

2002English

Decoupling Expert Systems From Access Points in Cache Coherence

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Evaluation of a Competitive-Update Cache Coherence Protocol With Migratory Data Detection

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1996English

Integrating Formal Verification With Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy