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