Publication schedule
  • №3 September 2025
  • №4 December 2025

Articles by keywords "program"

Improved anomaly detection by using the attention-based isolation forest with trainable scoring function

Intelligent Systems and Technologies, Artificial Intelligence
  • Year: 2025
  • Volume: 18
  • Issue: 1
  • 15
  • 603
  • Pages: 7-22

Projection operator for solving generalized problems of program motions stabilization

System Analysis and Control
  • Year: 2023
  • Volume: 16
  • Issue: 4
  • 26
  • 2083
  • Pages: 49-59

Flovver: A graphical functional language with a compiler focused on recursion optimization

Software of Computer, Telecommunications and Control Systems
  • Year: 2023
  • Volume: 16
  • Issue: 1
  • 61
  • 3037
  • Pages: 46-59

Reinforcement learning for industrial manufacturing control system

System Analysis and Control
  • Year: 2021
  • Volume: 14
  • Issue: 1
  • 89
  • 5413
  • Pages: 60-69

Automatic generation of software bug fixes based on analysis of software repositories

Software of Computer, Telecommunications and Control Systems
  • Year: 2020
  • Volume: 13
  • Issue: 2
  • 29
  • 6042
  • 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

System Analysis and Control
  • Year: 2019
  • Volume: 12
  • Issue: 4
  • 8
  • 6396
  • Pages: 123-135

Relational programming with memoization and negation

Software of Computer, Telecommunications and Control Systems
  • Year: 2018
  • Volume: 11
  • Issue: 2
  • 17
  • 7265
  • Pages: 35-46

Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms

Software of Computer, Telecommunications and Control Systems
  • Year: 2018
  • Volume: 11
  • Issue: 1
  • 8
  • 7694
  • Pages: 39-46

About ERP-class information systems’ application possibility for educational process management

Information and Telecommunication Technologies in Education
  • Year: 2009
  • Issue: 6
  • 0
  • 6890
  • Pages: 199-205

Dynamic memory protection by the program diversity

Information and Signal Processing
  • Year: 2009
  • Issue: 5
  • 0
  • 7059
  • Pages: 60-63

Organization of memory snapshot based on (n,k)-scheme under limitation rate and order of memory access

Computer Systems and Software
  • Year: 2009
  • Issue: 4
  • 0
  • 6865
  • Pages: 131-136

Filing information systems development approach based on domain-specific metadata model

Computer Systems and Software
  • Year: 2011
  • Issue: 6
  • 0
  • 6947
  • Pages: 59-63

Digital systems automated reengineering based on HDL specifications

Control Systems Hardware and Software
  • Year: 2011
  • Issue: 6
  • 0
  • 6759
  • Pages: 44-50

To the history of Yuri Gagarin’s spacefaring

35th Anniversary of the Faculty of Computer Science
  • Year: 2011
  • Issue: 6
  • 1
  • 7135
  • Pages: 18-24

About ERP-class information systems’ application possibility for educational process management

Information and Telecommunication Technologies in Education
  • Year: 2009
  • Issue: 6
  • 0
  • 6793
  • Pages: 177-188

Development and usage of the software for information-measuring and telecommunication systems

Computer Systems and Software
  • Year: 2009
  • Issue: 6
  • 0
  • 6746
  • Pages: 81-85

Realization of digital filters by a method of consecutive integration

Information and Signal Processing
  • Year: 2009
  • Issue: 6
  • 0
  • 6701
  • Pages: 26-35

Formation of metrics of a code of program system

Telecommunication Systems and Computer Networks
  • Year: 2008
  • Issue: 6
  • 0
  • 6791
  • Pages: 48-52

Formation of a network operating system for the protected interaction and the distributed calculations

Infocommunication Technologies
  • Year: 2008
  • Issue: 6
  • 0
  • 6839
  • Pages: 33-36

Optimizing the content and structure of the educational process at the university with using metamodels

Management in Social and Economic Systems
  • Year: 2012
  • Issue: 6
  • 1
  • 6748
  • Pages: 185-190

Matrix implementation of fuzzy inference alghorithms

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2012
  • Issue: 6
  • 0
  • 7168
  • Pages: 133-141

Analysis of the object-oriented paradigm and search for a better alternative

Computer Systems and Software
  • Year: 2012
  • Issue: 6
  • 0
  • 6681
  • Pages: 87-90

Verification method based on decomposition of states in rely-guarantee/sep logic

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2010
  • Issue: 6
  • 0
  • 6772
  • Pages: 127-135

The race condition detection using the graph of joint thread execution

Computer Systems and Software
  • Year: 2009
  • Issue: 5
  • 0
  • 6899
  • Pages: 123-129

Research on tools for automation of defects detection in program source code

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 7137
  • Pages: 119-127

Usage multiagental the approach by development of complexes of programs of systems of corporate remote derivation

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 6838
  • Pages: 114-118

Definition of domain-specific languages by interpreted automata

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 6891
  • Pages: 93-98

Revisiting the Issue of Eye-Tracking Applying

Intelligent Systems and Technologies, Artificial Intelligence
  • Year: 2014
  • Issue: 5
  • 502
  • 7864
  • Pages: 82-92

St. Petersburg scientific school of stiff optimization (history and review of main scientific results)

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2013
  • Issue: 5
  • 602
  • 7926
  • Pages: 29-38

Moving backup with recovery on the basis of the elements with excess basis

Information and Signal Processing
  • Year: 2012
  • Issue: 5
  • 1
  • 6663
  • Pages: 38-44

The research of cone optimality in multicriteria dynamical problem

System Analysis and Control
  • Year: 2010
  • Issue: 5
  • 0
  • 6806
  • Pages: 56-62

The method for software complexes testing scheduling on design and development phases

Computer Systems and Software
  • Year: 2009
  • Issue: 4
  • 0
  • 6778
  • Pages: 125-131

On the Solution of a Linear Least Squares Problem with Linear Inequality Constraints

Simulations of Computer, Telecommunications and Control Systems
  • Year: 2015
  • Issue: 4
  • 322
  • 7723
  • Pages: 25-35

Language support for systematic error handling

Computer Systems and Software
  • Year: 2013
  • Issue: 4
  • 475
  • 7377
  • Pages: 65-70

Routing of permutations with constraints and nonstationary cost functions

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2012
  • Issue: 4
  • 0
  • 6817
  • Pages: 88-93

The formalism for description of the partial specifications of program envinroment components

Computer Systems and Software
  • Year: 2011
  • Issue: 4
  • 0
  • 7623
  • Pages: 81-90

Modified simplex search algorithm for optimal control of the process parameters of zinc electrolysis

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2010
  • Issue: 4
  • 0
  • 6562
  • Pages: 142-146

Formal verification for a C0 implementation of the heapsort algorithm

Computer Systems and Software
  • Year: 2010
  • Issue: 4
  • 0
  • 6872
  • Pages: 83-92

Implementation and practical usage of an aspect-oriented programming tool for Microsoft.Net

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 6911
  • Pages: 225-232

Elevation reduction of information graph parallel programs

Computer Systems and Software
  • Year: 2009
  • Issue: 3
  • 0
  • 6993
  • Pages: 148-152

To studies on the use of dynamics equations of the systems with program links

Telecommunication Systems and Computer Networks
  • Year: 2009
  • Issue: 3
  • 0
  • 7356
  • Pages: 9-13

Procedures for Approximating Dependences of Several Variables in MS Excel and Mathcad Software Environment

Simulations of Computer, Telecommunications and Control Systems
  • Year: 2016
  • Issue: 3
  • 198
  • 8186
  • Pages: 35-47

A macro-flow graph generation technique, supporting automatic synthesis оf parallel programs for heterogeneous multicore processors

Computer Systems and Software
  • Year: 2012
  • Issue: 3
  • 0
  • 6782
  • Pages: 47-52

The method of optimal control of the smelting process of copper nickel-containing raw materials in furnaces Vanyukov

System Analysis and Control
  • Year: 2012
  • Issue: 3
  • 3
  • 6986
  • Pages: 41-46

Planning and optimization of robot program motion by method of configuration space

Information and Signal Processing
  • Year: 2012
  • Issue: 3
  • 0
  • 6817
  • Pages: 17-23

Using methods of aspect-oriented programming for software development

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 7038
  • Pages: 166-171

A modification of branch-and-bound method for optimal solution of the 1-D packing problem of rectangular-oriented structure

Modelling: Methods, Algorithms, Technologies
  • Year: 2010
  • Issue: 3
  • 0
  • 6524
  • Pages: 130-134

Verification the algorithm of transactional memory

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2010
  • Issue: 3
  • 0
  • 6597
  • Pages: 107-111

Transfer the system of multibodies dynamics to computing cluster

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 0
  • 6650
  • Pages: 93-99

Static analysis methods for automatic defect detection in multi threaded programs

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 0
  • 6672
  • Pages: 77-86

A program component behavior specification language

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 0
  • 7734
  • Pages: 63-70

Mathematical modeling of flying stock structure on the basis of simplex–method

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2010
  • Issue: 2
  • 0
  • 6816
  • Pages: 117-120

Developing and application of computer program studio for dynamic cognitive images creation

Computer Systems and Software
  • Year: 2010
  • Issue: 2
  • 0
  • 6625
  • Pages: 112-116

Regulation of the dynamics of the manipulator with the program threads

System Analysis and Control
  • Year: 2009
  • Issue: 2
  • 0
  • 6961
  • Pages: 123-128

To the question about instrument routing in the automated machines of the sheet cutting

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2013
  • Issue: 2
  • 805
  • 8008
  • Pages: 103-111

The program of the complex of life-support of the building, optimum by several criteria

Computer Systems and Software
  • Year: 2011
  • Issue: 2
  • 0
  • 6621
  • Pages: 81-86

Process modeling of control in the chaplygin’s system

System Analysis and Control
  • Year: 2011
  • Issue: 2
  • 0
  • 6956
  • Pages: 67-73

Mathematical models of submersible craft movement optimization under circulation

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2010
  • Issue: 1
  • 0
  • 6948
  • Pages: 142-145

Efficiency of the distributed calculations in scaled systems

Computer Systems and Software
  • Year: 2010
  • Issue: 1
  • 0
  • 7669
  • Pages: 83-89

A conceptual issues robotization marine engineering

Robotics and Mechatronics
  • Year: 2013
  • Issue: 1
  • 1064
  • 8536
  • Pages: 104-110

Management of the educational using decision support system

Information and Telecommunication Technologies in Education
  • Year: 2011
  • Issue: 1
  • 0
  • 6763
  • Pages: 187-192