Contents

Programming and Computer Software

---

Vol. 44, No. 3, 2018

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

---

Learning the Regularization Operator for the Optical Flow Problem

A. I. Kuzmin p. 139  abstract

On the Recovery of Motion of Dynamic Objects from Stereo Images

V. A. Bobkov, A. P. Kudryashov and S. V. Mel’man p. 148  abstract

Schedulability Analysis for Strictly Periodic Tasks in RTOS

S. A. Zelenova and S. V. Zelenov p. 159  abstract

Neuron-Like Approach to Speech Recognition

N. N. Diep and A. A. Zhdanov p. 170  abstract

Towards a Cloud Computing Paradigm for Big Data Analysis in Smart Cities

R. Massobrio, S. Nesmachnow, A. Tchernykh, A. Avetisyan and G. Radchenko p. 181  abstract

Prototype of a Verified Program Code Execution System

A. V. Kozachok and E. V. Kochetkov p. 190  abstract

On the Representation of Results of Binary Code Reverse Engineering

V. A. Padaryan and I. N. Ledovskikh p. 200  abstract

---