Contents

Automatic Control and Computer Sciences

Vol. 54, No. 7, 2020

On Detecting Code Reuse Attacks

Y. V. Kosolapov p. 573  abstract

A Key Distribution System Based on Hadamard Designs

V. M. Deundyak and A. A. Taran p. 584  abstract

Using Useful Tasks for Proof-of-Work for Blockchain Systems

D. M. Murin and V. N. Knyazev p. 594  abstract

Linear Interpolation on a Euclidean Ball in ℝn

M. V. Nevskii and A. Yu. Ukhalov p. 601  abstract

eT-Reducibility of Sets

R. R. Iarullin p. 615  abstract

On the Automatic Analysis of the Practical Resistance of Obfuscating Transformations

P. D. Borisov and Yu. V. Kosolapov p. 619  abstract

Formal Verification of Three-Valued Digital Waveforms

N. Yu. Kutsak and V. V. Podymov p. 630  abstract

Dynamic Model of Growing File-Sharing P2P Network

A. I. Kononova and L. G. Gagarina p. 645  abstract

GRID System Based on European EGI Standards for Large-Scale Calculations by the Original Accelerated Method of Quantum Chemistry

N. A. Anikin, A. Y. Muskatin, M. B. Kuzminsky and A. I. Rusakov p. 652  abstract

A New Approach to Gene Network Modeling

S. D. Glyzin, A. Yu. Kolesov and N. Kh. Rozov p. 655  abstract

NP-Completeness and One Polynomial Subclass of the Two-Step Graph Colouring Problem

N. S. Medvedeva and A. V. Smirnov p. 685  abstract

Automated Rhythmic Device Search in Literary Texts Applied to Comparing Original and Translated Texts as Exemplified by English to Russian Translations

N. S. Lagutina, K. V. Lagutina, E. I. Boychuk, I. A. Vorontsova and I. V. Paramonov p. 697  abstract

Geometric Estimates in Interpolation on an n-Dimensional Ball

M. V. Nevskii p. 712  abstract

Operational Semantics of Annotated Reflex Programs

I. S. Anureev p. 719  abstract

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs

D. A. Kondratyev and A. V. Promsky p. 728  abstract

Methods for Domain Specialization of Verification-Oriented Process Ontologies

N. O. Garanina, I. S. Anureev, O. I. Borovikova and V. E. Zyubin p. 740  abstract

Analysis of Occurrence Conditions for Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

E. P. Kubyshkin and V. A. Kulikov p. 752  abstract

The Comparison of Diffeomorphic Images based on the Construction of Persistent Homology

S. N. Chukanov p. 758  abstract