Publication schedule
-
№2 June 2022
-
№3 September 2022
-
№4 December 2022
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
- 3262
- Pages: 131-136
Verification method based on decomposition of states in rely-guarantee/sep logic
- Year: 2010
- Issue: 6
- 0
- 3074
- Pages: 127-135
The race condition detection using the graph of joint thread execution
- Year: 2009
- Issue: 5
- 0
- 3181
- Pages: 123-129