Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by С.Р. Иванов
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
Related publications
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
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
Constructing Property-Oriented Models for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Cache Coherence Protocol of the Data Diffusion Machine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Leveraging Cache Coherence in Active Memory Systems
Decoupling Expert Systems From Access Points in Cache Coherence
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
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
Integrating Formal Verification With Murφ of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
