Publication schedule
-
№2 June 2024
-
№3 September 2024
-
№4 December 2024
Articles by keywords "programming"
Flovver: A graphical functional language with a compiler focused on recursion optimization
- Year: 2023
- Volume: 16
- Issue: 1
- 42
- 1172
- Pages: 46-59
Reinforcement learning for industrial manufacturing control system
- Year: 2021
- Volume: 14
- Issue: 1
- 73
- 3541
- Pages: 60-69
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
- 7
- 4550
- Pages: 123-135
Relational programming with memoization and negation
- Year: 2018
- Volume: 11
- Issue: 2
- 16
- 5545
- Pages: 35-46
Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms
- Year: 2018
- Volume: 11
- Issue: 1
- 8
- 5931
- Pages: 39-46
Organization of memory snapshot based on (n,k)-scheme under limitation rate and order of memory access
- Year: 2009
- Issue: 4
- 0
- 5230
- Pages: 131-136
Filing information systems development approach based on domain-specific metadata model
- Year: 2011
- Issue: 6
- 0
- 5295
- Pages: 59-63
Realization of digital filters by a method of consecutive integration
- Year: 2009
- Issue: 6
- 0
- 5072
- Pages: 26-35
Formation of a network operating system for the protected interaction and the distributed calculations
- Year: 2008
- Issue: 6
- 0
- 5235
- Pages: 33-36
Analysis of the object-oriented paradigm and search for a better alternative
- Year: 2012
- Issue: 6
- 0
- 5142
- Pages: 87-90
Verification method based on decomposition of states in rely-guarantee/sep logic
- Year: 2010
- Issue: 6
- 0
- 5081
- Pages: 127-135
The race condition detection using the graph of joint thread execution
- Year: 2009
- Issue: 5
- 0
- 5180
- Pages: 123-129
Definition of domain-specific languages by interpreted automata
- Year: 2008
- Issue: 5
- 0
- 5190
- Pages: 93-98
St. Petersburg scientific school of stiff optimization (history and review of main scientific results)
- Year: 2013
- Issue: 5
- 602
- 6185
- Pages: 29-38
The research of cone optimality in multicriteria dynamical problem
- Year: 2010
- Issue: 5
- 0
- 5187
- Pages: 56-62
On the Solution of a Linear Least Squares Problem with Linear Inequality Constraints
- Year: 2015
- Issue: 4
- 322
- 5937
- Pages: 25-35
Routing of permutations with constraints and nonstationary cost functions
- Year: 2012
- Issue: 4
- 0
- 5237
- Pages: 88-93
Modified simplex search algorithm for optimal control of the process parameters of zinc electrolysis
- Year: 2010
- Issue: 4
- 0
- 4955
- Pages: 142-146
Implementation and practical usage of an aspect-oriented programming tool for Microsoft.Net
- Year: 2009
- Issue: 3
- 0
- 5075
- Pages: 225-232
A macro-flow graph generation technique, supporting automatic synthesis оf parallel programs for heterogeneous multicore processors
- Year: 2012
- Issue: 3
- 0
- 5165
- 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
- 5250
- Pages: 41-46
Using methods of aspect-oriented programming for software development
- Year: 2011
- Issue: 3
- 0
- 5370
- 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
- 4944
- Pages: 130-134
Transfer the system of multibodies dynamics to computing cluster
- Year: 2010
- Issue: 3
- 0
- 5006
- Pages: 93-99
Mathematical modeling of flying stock structure on the basis of simplex–method
- Year: 2010
- Issue: 2
- 0
- 5219
- Pages: 117-120
To the question about instrument routing in the automated machines of the sheet cutting
- Year: 2013
- Issue: 2
- 803
- 6491
- Pages: 103-111
Mathematical models of submersible craft movement optimization under circulation
- Year: 2010
- Issue: 1
- 0
- 5261
- Pages: 142-145