Proceedings of ISP RAS


Proceedings of the Institute for System Programming. Volume 31, issue 1, 2019, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume
PDF


Table of Contents

E.M. Lavrischeva, V.S. Mutilin, S.V. Коzin, A.V. Ryzhov Modeling of application and information systems from ready–made Internet service resources pp. 7-24.

N.K. Gorelits, D.S. Kildishev, A.V. Khoroshilov Requirements management for safety-critical systems. Overview of solutions pp. 25-48.

M.S Arutunian, G.S. Ivanov, V.G. Vardanyan, H.K. Aslanyan, A.I. Avetisyan, Sh.F. Kurmangaleev Analysis of program changes nature and searching for unpatched code fragments pp. 49-58.

A.S. Chadin, G.A. Biziukin Determining cloud platform limits on resource migration pp. 59-68.

A.I. Sokolova, A.S. Konushin Methods of gait recognition in video pp. 69-82.

S.E. Slyadnev, V.E. Turlapov Toward the development of open source software for the reconstruction of CAD-models pp. 83-104.

A.V. Maksimov, E.A. Kiselev, S.D. Kurgalin, S.A. Zuev Mathematical model describing air flow dynamics in a turbine spirometer pp. 105-114.

D.V. Efanov, V.V. Sapozhnikov, Vl.V. Sapozhnikov, D.V. Pivovarov Fault detection in combinational circuits based on self-dual complement to constant-weight code pp. 115-132.

D.O. Lazarev, N.N. Kuzyurin An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given pp. 133-142.

Back to the list of all volumes