Geodesic

Sommaire du Fascicule no. 1

Editorial
p. 5-6
Shared virtual function orchestration technique
p. 7-22
Design of onboard real-time networks based on SDN technology
p. 23-38
An approach to the construction of a network processing unit
p. 39-62
Visual web-oriented environment of dynamic control of data flow in campus of software defined networks
p. 63-74
An effective algorithm for collision resolution in security policy rules
p. 75-89
Development and study of algorithms for the formation of rules for network security nodes in the multi-cloud platform
p. 90-100
Fault-tolerance distributed control plane for software defined networks
p. 101-121
Algorithm for reducing the number of forwarding rules created by SDN applications
p. 122-133
«Common criteria» and software defined network security
p. 134-145
Hierarchical edge computing
p. 146-169
On analysis of traffic flow demultiplexing effectiveness
p. 170-190

Sommaire du Fascicule no. 2

Threshold analysis of request degradation in the computer network
p. 195-202
On the way to SD-WAN solution
p. 203-212
About detection of code reuse attacks
p. 213-228
Key distribution system based on Hadamard designs
p. 229-243
On the issue of using ``Useful'' tasks for proof of works in blockchain
p. 244-255
Analysis of practical applications of lattice gas models
p. 256-266
Existence of an unbiased consistent entropy estimator for the special Bernoulli measure
p. 267-278
Linear interpolation on a Euclidean ball in ${\mathbb R}^n$
p. 279-296
Analysis of the conditions for the emergence of spatially inhomogeneous structures of light waves in optical information transmission systems
p. 297-305
$eT$-reducibility of sets
p. 306-311

Sommaire du Fascicule no. 3

On the automatic analysis of the practical resistance of obfusting transformations
p. 317-331
Formal verification of three-valued digital waveforms
p. 332-350
Dynamic model of growing file-sharing P2P~network
p. 351-359
GRID-system based on European EGI standards for large-scale calculations using the original accelerated method of quantum chemistry
p. 360-364
New approach to gene network modeling
p. 365-404
NP-completeness and one polynomial subclass of the two-step graph colouring problem
p. 405-419
Automated search of~rhythm figures in ~a~literary text for~comparative analysis of~originals and translations based on~the~material of~the~English and Russian languages
p. 420-440
Geometric estimates in interpolation on an $n$-dimensional ball
p. 441-449
The comparison of diffeomorphic images based on the construction of persistent homology
p. 450-468

Sommaire du Fascicule no. 4

From the editors of the issue
p. 473-474
Operational semantics of annotated Reflex programs
p. 475-487
Safety analysis of longitudinal motion controllers during climb flight
p. 488-501
The complex approach of the C-lightVer system to the automated error localization in C-programs
p. 502-519
Proving properties of discrete-valued functions using deductive proof: application to the square root
p. 520-533
Methods for domain specification of verification-oriented process ontology
p. 534-549
Property-directed inference of relational invariants
p. 550-571
Features of the computational implementation of the algorithm for~estimating the Lyapunov exponents of systems with delay
p. 572-582