Publication schedule
-
№4 December 2025
-
№1 March 2026Submission deadline: 27 February 2026
-
№2 June 2026Submission deadline: 29 May 2026
-
№3 September 2026Submission deadline: 31 August 2026
Articles by keywords "multiprocessor programming"
Organization of memory snapshot based on (n,k)-scheme under limitation rate and order of memory access
- Year: 2009
- Issue: 4
- 0
- 7577
- Pages: 131-136
Verification method based on decomposition of states in rely-guarantee/sep logic
- Year: 2010
- Issue: 6
- 0
- 7633
- Pages: 127-135
The race condition detection using the graph of joint thread execution
- Year: 2009
- Issue: 5
- 0
- 7652
- Pages: 123-129