„cache coherence protocols“

Suchergebnisse

5 Treffer

• Performance Analysis of Complex Shared Memory Systems
  Molka, Daniel ; Nagel, Wolfgang E. ; Ludwig, Thomas 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Deriving Efficient Cache Coherence Protocols Through Refinement
  Nalumasu, Ratan ; Gopalakrishnan, Ganesh
• Constraint-Based Verification of Parameterized Cache Coherence Protocols
  Delzanno, Giorgio
• Checking Cache-Coherence Protocols with TLA+
  Joshi, Rajeev ; Lamport, Leslie ; Matthews, John ; Tasiran, Serdar ; Tuttle, Mark ; Yu, Yuan
• Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions
  Park, S. ; Dill, D. L.