The Cache Coherence Protocol of the Data Diffusion Machine

Lecture Notes in Computer Science - Germany
doi 10.1007/3540512845_29
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

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

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

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

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2012English

DCC: A Dependable Cache Coherence Multicore Architecture

IEEE Computer Architecture Letters
HardwareArchitecture
2011English

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

Using Belief to Reason About Cache Coherence

1994English

Leveraging Cache Coherence in Active Memory Systems

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy