Publication schedule
  • №4 December 2020
  • №1 March 2021
  • №2 June 2021
  • №3 September 2021

Articles by keywords "program"

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
  • 8
  • 332
  • 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
  • 4
  • 834
  • Pages: 123-135

Relational programming with memoization and negation

Software of Computer, Telecommunications and Control Systems
  • Year: 2018
  • Volume: 11
  • Issue: 2
  • 5
  • 1784
  • 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
  • 5
  • 1882
  • 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
  • 1557
  • Pages: 199-205

Dynamic memory protection by the program diversity

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

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

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

Digital systems automated reengineering based on HDL specifications

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

To the history of Yuri Gagarin’s spacefaring

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

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

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

Realization of digital filters by a method of consecutive integration

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

Formation of metrics of a code of program system

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

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

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

Matrix implementation of fuzzy inference alghorithms

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

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

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

The race condition detection using the graph of joint thread execution

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

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

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

Definition of domain-specific languages by interpreted automata

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

Revisiting the Issue of Eye-Tracking Applying

Intellectual Systems and Technologies
  • Year: 2014
  • Issue: 5
  • 495
  • 2415
  • 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
  • 601
  • 2512
  • 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
  • 1600
  • Pages: 38-44

The research of cone optimality in multicriteria dynamical problem

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

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

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

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

Simulations of Computer, Telecommunications, Control and Social Systems
  • Year: 2015
  • Issue: 4
  • 317
  • 2159
  • Pages: 25-35

Language support for systematic error handling

Computer Systems and Software
  • Year: 2013
  • Issue: 4
  • 472
  • 2174
  • Pages: 65-70

Routing of permutations with constraints and nonstationary cost functions

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

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

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

Formal verification for a C0 implementation of the heapsort algorithm

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

Elevation reduction of information graph parallel programs

Computer Systems and Software
  • Year: 2009
  • Issue: 3
  • 0
  • 1629
  • 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
  • 1822
  • Pages: 9-13

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

Simulations of Computer, Telecommunications, Control and Social Systems
  • Year: 2016
  • Issue: 3
  • 133
  • 1880
  • 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
  • 1588
  • 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
  • 1559
  • Pages: 41-46

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

Information and Signal Processing
  • Year: 2012
  • Issue: 3
  • 0
  • 1597
  • 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
  • 1678
  • 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
  • 1532
  • Pages: 130-134

Verification the algorithm of transactional memory

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

Transfer the system of multibodies dynamics to computing cluster

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

Static analysis methods for automatic defect detection in multi threaded programs

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

A program component behavior specification language

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

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

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

Regulation of the dynamics of the manipulator with the program threads

System Analysis and Control
  • Year: 2009
  • Issue: 2
  • 0
  • 1550
  • 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
  • 803
  • 2852
  • 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
  • 1607
  • Pages: 81-86

Process modeling of control in the chaplygin’s system

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

Mathematical models of submersible craft movement optimization under circulation

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

Efficiency of the distributed calculations in scaled systems

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

A conceptual issues robotization marine engineering

Robotics and Mechatronics
  • Year: 2013
  • Issue: 1
  • 1053
  • 3136
  • Pages: 104-110

Management of the educational using decision support system

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