График выхода изданий
-
№2 Июнь 2024
-
№3 Сентябрь 2024
-
№4 Декабрь 2024
Статьи по ключевому слову "мультипроцессорное программирование"
Организация снимка памяти на основе nk-схемы при наложении ограничений темпа и порядка доступа
- Год: 2009
- Выпуск: 4
- 0
- 5251
- Страницы: 131-136
Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP
- Год: 2010
- Выпуск: 6
- 0
- 5103
- Страницы: 127-135
Выявление состояний гонки с помощью графа совместного исполнения потоков
- Год: 2009
- Выпуск: 5
- 0
- 5203
- Страницы: 123-129