All articles by "Ivanov S.R."
Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems
| Authors: Burenkov V.S., Ivanov S.R. | Published: 14.02.2017 |
| Published in issue: #1(112)/2017 | |
| DOI: 10.18698/0236-3933-2017-1-49-66 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
| Keywords: formal method, model checking, model transformations, cache coherence protocol | |
Computing systems with adaptive architecture
| Authors: Ivanov S.R., Gubkin A.A. | Published: 09.08.2015 |
| Published in issue: #2(23)/1996 | |
| DOI: | |
| Category: Informatics & Computing Technology | |
| Keywords: | |