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

Journal of Parallel and Distributed Computing - United States
doi 10.1006/jpdc.1996.0164
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

The Cache Coherence Protocol of the Data Diffusion Machine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1989English

Delta Coherence Protocols: The Home Update Protocol

2000English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

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
2017English

DCC: A Dependable Cache Coherence Multicore Architecture

IEEE Computer Architecture Letters
HardwareArchitecture
2011English

State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2012English

Cache Coherence Protocols in Shared-Memory Multiprocessors

2015English

An ACL2 Proof of Write Invalidate Cache Coherence

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

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

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy