Publication schedule
-
№1 March 2026Submission deadline: 27 February 2026
-
№2 June 2026Submission deadline: 29 May 2026
-
№3 September 2026Submission deadline: 31 August 2026
Articles by keywords "program"
Improved anomaly detection by using the attention-based isolation forest with trainable scoring function
- Year: 2025
- Volume: 18
- Issue: 1
- 23
- 3694
- Pages: 7-22
Projection operator for solving generalized problems of program motions stabilization
- Year: 2023
- Volume: 16
- Issue: 4
- 30
- 3768
- Pages: 49-59
Flovver: A graphical functional language with a compiler focused on recursion optimization
- Year: 2023
- Volume: 16
- Issue: 1
- 63
- 4577
- Pages: 46-59
Reinforcement learning for industrial manufacturing control system
- Year: 2021
- Volume: 14
- Issue: 1
- 89
- 7137
- Pages: 60-69
Automatic generation of software bug fixes based on analysis of software repositories
- Year: 2020
- Volume: 13
- Issue: 2
- 30
- 7471
- Pages: 35-48
Calculation of the points of the technological trajectory of the laser robotic complex relative to the tool and tooling in the CAM
- Year: 2019
- Volume: 12
- Issue: 4
- 10
- 8064
- Pages: 123-135
Relational programming with memoization and negation
- Year: 2018
- Volume: 11
- Issue: 2
- 17
- 8585
- Pages: 35-46
Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms
- Year: 2018
- Volume: 11
- Issue: 1
- 9
- 9082
- Pages: 39-46
About ERP-class information systems’ application possibility for educational process management
- Year: 2009
- Issue: 6
- 0
- 8172
- Pages: 199-205
Organization of memory snapshot based on (n,k)-scheme under limitation rate and order of memory access
- Year: 2009
- Issue: 4
- 0
- 8192
- Pages: 131-136
Filing information systems development approach based on domain-specific metadata model
- Year: 2011
- Issue: 6
- 0
- 8308
- Pages: 59-63
Digital systems automated reengineering based on HDL specifications
- Year: 2011
- Issue: 6
- 0
- 7948
- Pages: 44-50
About ERP-class information systems’ application possibility for educational process management
- Year: 2009
- Issue: 6
- 0
- 8046
- Pages: 177-188
Development and usage of the software for information-measuring and telecommunication systems
- Year: 2009
- Issue: 6
- 0
- 8067
- Pages: 81-85
Realization of digital filters by a method of consecutive integration
- Year: 2009
- Issue: 6
- 0
- 8004
- Pages: 26-35
Formation of a network operating system for the protected interaction and the distributed calculations
- Year: 2008
- Issue: 6
- 0
- 7998
- Pages: 33-36
Optimizing the content and structure of the educational process at the university with using metamodels
- Year: 2012
- Issue: 6
- 1
- 7912
- Pages: 185-190
Analysis of the object-oriented paradigm and search for a better alternative
- Year: 2012
- Issue: 6
- 0
- 7910
- Pages: 87-90
Verification method based on decomposition of states in rely-guarantee/sep logic
- Year: 2010
- Issue: 6
- 0
- 8260
- Pages: 127-135
The race condition detection using the graph of joint thread execution
- Year: 2009
- Issue: 5
- 0
- 8285
- Pages: 123-129
Research on tools for automation of defects detection in program source code
- Year: 2008
- Issue: 5
- 0
- 8547
- Pages: 119-127
Usage multiagental the approach by development of complexes of programs of systems of corporate remote derivation
- Year: 2008
- Issue: 5
- 0
- 8129
- Pages: 114-118
Definition of domain-specific languages by interpreted automata
- Year: 2008
- Issue: 5
- 0
- 8175
- Pages: 93-98
St. Petersburg scientific school of stiff optimization (history and review of main scientific results)
- Year: 2013
- Issue: 5
- 602
- 9475
- Pages: 29-38
Moving backup with recovery on the basis of the elements with excess basis
- Year: 2012
- Issue: 5
- 1
- 8004
- Pages: 38-44
The research of cone optimality in multicriteria dynamical problem
- Year: 2010
- Issue: 5
- 0
- 8335
- Pages: 56-62
The method for software complexes testing scheduling on design and development phases
- Year: 2009
- Issue: 4
- 0
- 8062
- Pages: 125-131
On the Solution of a Linear Least Squares Problem with Linear Inequality Constraints
- Year: 2015
- Issue: 4
- 322
- 9050
- Pages: 25-35
Routing of permutations with constraints and nonstationary cost functions
- Year: 2012
- Issue: 4
- 0
- 8216
- Pages: 88-93
The formalism for description of the partial specifications of program envinroment components
- Year: 2011
- Issue: 4
- 0
- 8968
- Pages: 81-90
Modified simplex search algorithm for optimal control of the process parameters of zinc electrolysis
- Year: 2010
- Issue: 4
- 0
- 8081
- Pages: 142-146
Formal verification for a C0 implementation of the heapsort algorithm
- Year: 2010
- Issue: 4
- 0
- 8218
- Pages: 83-92
Implementation and practical usage of an aspect-oriented programming tool for Microsoft.Net
- Year: 2009
- Issue: 3
- 0
- 8042
- Pages: 225-232
Elevation reduction of information graph parallel programs
- Year: 2009
- Issue: 3
- 0
- 8303
- Pages: 148-152
To studies on the use of dynamics equations of the systems with program links
- Year: 2009
- Issue: 3
- 0
- 8686
- Pages: 9-13
Procedures for Approximating Dependences of Several Variables in MS Excel and Mathcad Software Environment
- Year: 2016
- Issue: 3
- 198
- 9566
- Pages: 35-47
A macro-flow graph generation technique, supporting automatic synthesis оf parallel programs for heterogeneous multicore processors
- Year: 2012
- Issue: 3
- 0
- 8076
- Pages: 47-52
The method of optimal control of the smelting process of copper nickel-containing raw materials in furnaces Vanyukov
- Year: 2012
- Issue: 3
- 3
- 8521
- Pages: 41-46
Planning and optimization of robot program motion by method of configuration space
- Year: 2012
- Issue: 3
- 0
- 8125
- Pages: 17-23
Using methods of aspect-oriented programming for software development
- Year: 2011
- Issue: 3
- 0
- 8257
- Pages: 166-171
A modification of branch-and-bound method for optimal solution of the 1-D packing problem of rectangular-oriented structure
- Year: 2010
- Issue: 3
- 0
- 7676
- Pages: 130-134
Transfer the system of multibodies dynamics to computing cluster
- Year: 2010
- Issue: 3
- 0
- 8034
- Pages: 93-99
Static analysis methods for automatic defect detection in multi threaded programs
- Year: 2010
- Issue: 3
- 0
- 7967
- Pages: 77-86
Mathematical modeling of flying stock structure on the basis of simplex–method
- Year: 2010
- Issue: 2
- 0
- 8246
- Pages: 117-120
Developing and application of computer program studio for dynamic cognitive images creation
- Year: 2010
- Issue: 2
- 0
- 7944
- Pages: 112-116
Regulation of the dynamics of the manipulator with the program threads
- Year: 2009
- Issue: 2
- 0
- 8512
- Pages: 123-128
To the question about instrument routing in the automated machines of the sheet cutting
- Year: 2013
- Issue: 2
- 805
- 9383
- Pages: 103-111
The program of the complex of life-support of the building, optimum by several criteria
- Year: 2011
- Issue: 2
- 0
- 7948
- Pages: 81-86
Mathematical models of submersible craft movement optimization under circulation
- Year: 2010
- Issue: 1
- 0
- 8406
- Pages: 142-145
Efficiency of the distributed calculations in scaled systems
- Year: 2010
- Issue: 1
- 0
- 8949
- Pages: 83-89
Management of the educational using decision support system
- Year: 2011
- Issue: 1
- 0
- 8055
- Pages: 187-192