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