Amanote Research
Register
Sign In
State Space Reduction in Modeling Checking Parameterized Cache Coherence Protocol by Two-Dimensional Abstraction
Journal of Supercomputing
- Netherlands
doi 10.1007/s11227-012-0755-0
Full Text
Open PDF
Abstract
Available in
full text
Categories
Hardware
Information Systems
Theoretical Computer Science
Architecture
Software
Date
April 17, 2012
Authors
Yang Guo
Wanxia Qu
Long Zhang
Weixia Xu
Publisher
Springer Science and Business Media LLC
Related search
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
