Tormasov Aleksandr G.
Publication schedule
-
№2 June 2024
-
№3 September 2024
-
№4 December 2024
Latest issues
- 2023, Volume 16 Issue 4 Full text
- 2023, Volume 16 Issue 3 Full text
- 2023, Volume 16 Issue 2 Full text
- 2023, Volume 16 Issue 1 Full text
Mathematical model and efficient algorithm to find and distribute data in the decentralized distributed file system
- Year: 2012
- Issue: 6
- 0
- 5173
- Pages: 16-22
Verification method based on decomposition of states in rely-guarantee/sep logic
- Year: 2010
- Issue: 6
- 0
- 5114
- Pages: 127-135
Organization of memory snapshot based on (n,k)-scheme under limitation rate and order of memory access
- Year: 2009
- Issue: 4
- 0
- 5264
- Pages: 131-136
The race condition detection using the graph of joint thread execution
- Year: 2009
- Issue: 5
- 0
- 5220
- Pages: 123-129