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
  • 13
  • 482
  • Pages: 7-22

Projection operator for solving generalized problems of program motions stabilization

System Analysis and Control
  • Year: 2023
  • Volume: 16
  • Issue: 4
  • 25
  • 1993
  • 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
  • 60
  • 2926
  • Pages: 46-59

Reinforcement learning for industrial manufacturing control system

System Analysis and Control
  • Year: 2021
  • Volume: 14
  • Issue: 1
  • 89
  • 5316
  • 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
  • 5942
  • 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
  • 6299
  • Pages: 123-135

Relational programming with memoization and negation

Software of Computer, Telecommunications and Control Systems
  • Year: 2018
  • Volume: 11
  • Issue: 2
  • 17
  • 7175
  • 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
  • 7607
  • 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
  • 6800
  • Pages: 199-205

Dynamic memory protection by the program diversity

Information and Signal Processing
  • Year: 2009
  • Issue: 5
  • 0
  • 6983
  • 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
  • 6774
  • Pages: 131-136

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

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

Digital systems automated reengineering based on HDL specifications

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

To the history of Yuri Gagarin’s spacefaring

35th Anniversary of the Faculty of Computer Science
  • Year: 2011
  • Issue: 6
  • 1
  • 7047
  • 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
  • 6707
  • Pages: 177-188

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

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

Realization of digital filters by a method of consecutive integration

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

Formation of metrics of a code of program system

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

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

Infocommunication Technologies
  • Year: 2008
  • Issue: 6
  • 0
  • 6756
  • 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
  • 6666
  • Pages: 185-190

Matrix implementation of fuzzy inference alghorithms

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

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

Computer Systems and Software
  • Year: 2012
  • Issue: 6
  • 0
  • 6601
  • 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
  • 6684
  • Pages: 127-135

The race condition detection using the graph of joint thread execution

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

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

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 7043
  • 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
  • 6751
  • Pages: 114-118

Definition of domain-specific languages by interpreted automata

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

Revisiting the Issue of Eye-Tracking Applying

Intelligent Systems and Technologies, Artificial Intelligence
  • Year: 2014
  • Issue: 5
  • 502
  • 7777
  • 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
  • 7836
  • 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
  • 6571
  • Pages: 38-44

The research of cone optimality in multicriteria dynamical problem

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

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

Computer Systems and Software
  • Year: 2009
  • Issue: 4
  • 0
  • 6685
  • 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
  • 7629
  • Pages: 25-35

Language support for systematic error handling

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

Routing of permutations with constraints and nonstationary cost functions

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

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

Computer Systems and Software
  • Year: 2011
  • Issue: 4
  • 0
  • 7528
  • 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
  • 6464
  • Pages: 142-146

Formal verification for a C0 implementation of the heapsort algorithm

Computer Systems and Software
  • Year: 2010
  • Issue: 4
  • 0
  • 6774
  • 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
  • 6838
  • Pages: 225-232

Elevation reduction of information graph parallel programs

Computer Systems and Software
  • Year: 2009
  • Issue: 3
  • 0
  • 6911
  • 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
  • 7250
  • 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
  • 8088
  • 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
  • 6695
  • 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
  • 6886
  • Pages: 41-46

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

Information and Signal Processing
  • Year: 2012
  • Issue: 3
  • 0
  • 6735
  • 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
  • 6953
  • 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
  • 6438
  • Pages: 130-134

Verification the algorithm of transactional memory

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

Transfer the system of multibodies dynamics to computing cluster

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

Static analysis methods for automatic defect detection in multi threaded programs

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

A program component behavior specification language

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 0
  • 7635
  • 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
  • 6734
  • Pages: 117-120

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

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

Regulation of the dynamics of the manipulator with the program threads

System Analysis and Control
  • Year: 2009
  • Issue: 2
  • 0
  • 6879
  • 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
  • 7932
  • 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
  • 6535
  • Pages: 81-86

Process modeling of control in the chaplygin’s system

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

Mathematical models of submersible craft movement optimization under circulation

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

Efficiency of the distributed calculations in scaled systems

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

A conceptual issues robotization marine engineering

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

Management of the educational using decision support system

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