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
Latest issues
- 2025, Volume 18 Issue 3 Full text
- 2025, Volume 18 Issue 2 Full text
- 2025, Volume 18 Issue 1 Full text
- 2024, Volume 17 Issue 4 Full text
Vsevolod P. Kotlyarov
Affiliation
Peter the Great St.Petersburg Polytechnic University
Experimental Aspects of Memory Bandwidth for HPC Systems with ccNUMA Architecture
- Year: 2017
- Volume: 10
- Issue: 3
- 51
- 8136
- Pages: 32-41
Approach to concurrent systems testing based on UCM specification
- Year: 2014
- Issue: 3
- 287
- 7819
- Pages: 85-91
Formal models structurization based technique of complex software projects testing
- Year: 2013
- Issue: 3
- 747
- 8295
- Pages: 99-104
Restrictions on concurrent construction and time delays of UCM language
- Year: 2013
- Issue: 3
- 534
- 8452
- Pages: 148-153
Static approach for debugging of test scenarious generated with usage of heuristics.
- Year: 2012
- Issue: 4
- 0
- 7530
- Pages: 114-119
Usage of formalization approaches for creation of system models from ucm-specification
- Year: 2011
- Issue: 3
- 0
- 7310
- Pages: 180-184
Cloud service architecture for scientific and engineering computing in distributed environment
- Year: 2011
- Issue: 4
- 0
- 7490
- Pages: 146-149
Automation of test environment configuring for telecom projects
- Year: 2011
- Issue: 4
- 0
- 7512
- Pages: 149-152
Requirement coverage criteria for test cases generated from applications' behavioral models
- Year: 2011
- Issue: 6
- 0
- 7323
- Pages: 202-207
Applying the method of heuristics for the optimal set of test scenarios generation
- Year: 2010
- Issue: 4
- 0
- 7281
- Pages: 169-174
Testing automation of projects in telecommunication domain
- Year: 2010
- Issue: 4
- 0
- 7453
- Pages: 180-185
Integrated environment for testing automation based on Eclipse platform
- Year: 2010
- Issue: 4
- 0
- 7470
- Pages: 186-191
Automation of formalization of requirement to program projects
- Year: 2009
- Issue: 3
- 0
- 7205
- Pages: 236-241
Verification of the software at integration of new functionality into existing system
- Year: 2008
- Issue: 5
- 0
- 7836
- Pages: 20-26
Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms
- Year: 2018
- Volume: 11
- Issue: 1
- 8
- 8412
- Pages: 39-46