| 
Все статьи автора "Иванов С.Р."
Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем
| Авторы: Буренков В.С., Иванов С.Р. | Опубликовано: 14.02.2017 |
| Опубликовано в выпуске: #1(112)/2017 | |
| DOI: 10.18698/0236-3933-2017-1-49-66 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
| Ключевые слова: формальный метод, проверка моделей, преобразование моделей, протокол когерентности кэш-памяти | |
Вычислительные системы с адаптивной архитектурой
| Авторы: Иванов С.Р., Губкин А.А. | Опубликовано: 09.08.2015 |
| Опубликовано в выпуске: #2(23)/1996 | |
| DOI: | |
| Раздел: Информатика и вычислительная техника | |
| Ключевые слова: | |