Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kaiqiang Duan
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cache Coherence Protocols in Shared-Memory Multiprocessors
Teapot: A Domain-Specific Language for Writing Cache Coherence Protocols
IEEE Transactions on Software Engineering
Software
Implementing Application-Specific Cache-Coherence Protocols in Configurable Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
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
An ACL2 Proof of Write Invalidate Cache Coherence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Advanced Compiler Framework for Non-Cache-Coherent Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
