Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wanxia Qu
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
Related publications
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
State Space Reduction Techniques for Model Checking of MANET Protocols
International Journal of Networking and Computing
The Cache Coherence Protocol of the Data Diffusion Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Spin Coherence in Two-Dimensional Materials
npj Computational Materials
Mechanics of Materials
Materials Science
Simulation
Computer Science Applications
Modeling
Parallel State Space Construction for Model-Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
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
