Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Per Stenström
Evaluation of a Competitive-Update Cache Coherence Protocol With Migratory Data Detection
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Related publications
The Cache Coherence Protocol of the Data Diffusion Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Delta Coherence Protocols: The Home Update Protocol
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
DCC: A Dependable Cache Coherence Multicore Architecture
IEEE Computer Architecture Letters
Hardware
Architecture
State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction
Journal of Supercomputing
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
Cache Coherence Protocols in Shared-Memory Multiprocessors
An ACL2 Proof of Write Invalidate Cache Coherence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Automatic Verification of Cache Coherence in Multiprocessors With Relaxed Memory Models
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
