Proceedings of ISP RAS


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

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume
PDF


Table of Contents

H.Yenigun, N. Yevtushenko, N. Kushik, J. López The effect of partiality and adaptivity on the complexity of FSM state identification problems pp. 7-24.

A. Tvardovskii,  A. Laputenko On the possibilities of FSM description of Parallel composition of Timed Finite State Machines pp. 25-40.

N.A. Shalyapina, A.A. Zaytsev, S.V. Batratskiy, M.L. Gromov Stuck-At-Faults Tester as a Web-Service pp. 41-54.

S. Staroletov Towards the methods of analysis malicious applications for Android operating system pp. 55-68.

I. Burdonov, A. Kossatchev, V. Kuliamin, A. Tomilin, V. Shnitman Asynchronous Distributed Algorithms for Static and Dynamic Directed Rooted Graphs pp. 69-88.

S.M. Avdoshin, A.V. Lazarenko Bitcoin Users Deanonimization Methods pp. 89-102.

B.Α. Pozin The Principles of Life Cycle Supporting System for Mission-Critical Systems pp. 103-114.

M.S. Guskova,  L.Yu. Barash,  L.N. Shchur Applying AVX512 vectorization to improve the performance of a random number generator pp. 115-126.

V.N. Yudin,  L.E. Karpov Dealing with not Fully Described Objects in Decision Support Systems: Alternative Approaches pp. 127-136.

V.A. Pavlov, B.A. Novikov Array Database Internals pp. 137-160.

E.I. Gusev Optimizing access to memory pages in software-implemented global page cache systems pp. 161-182.

A.N. Nuriev,  A.M. Kamalutdinov, O.N. Zaitseva Dependence of hydrodynamic forces acting on oscillating thin plates on the shape of edges in the range of large oscillation amplitudes pp. 183-194.

I. Marchevsky, V. Puzikova The efficiency comparison of solvers for sparse linear algebraic equations systems based on the BiCGStab and FGMRES methods pp. 195-214.

S.A. Dergachev Mathematical simulation of vorticity evolution in the case of spatial flow around bodies by the method of vortex loops pp. 215-226.

Back to the list of all volumes