Proceedings of the Institute for System Programming. Volume 31, issue 4, 2019, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Corresponding Member of RAS A.I. Avetisyan
Table of Contents
Godunov A.N., Chemerev F.N. Tracing Tools for «Baget» Family RTOS pp. 7-28.
Silakov D.V. Automated Error Detection and Analysis in Hyperconverged Systems pp. 29-38.
Staroletov S.M., Amosov M.S., Shulga K.M. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques pp. 39-60.
Timokhin P.Yu., Mikhaylyuk M.V., Vozhegov E.M., Panteley K.D. Technology and methods for deferred synthesis of 4K stereo clips for complex dynamic virtual scenes pp. 61-72.
Pandey M., Litoriya R., Pandey P. Application of Fuzzy DEMATEL approach in analyzing mobile application issues pp. 73-96.
Karpov Yu.L., Volkova I.A., Vylitok A.A., Karpov L.E., Smetanin Yu.G. Designing classes’ interfaces for neural network graph model pp. 97-112.
Nuzhny A.S. Bayes regularization in the selection of weight coefficients in the predictor ensembles pp. 113-120.
Avdoshin S.M., Beresneva E.N. Local search metaheuristics for Capacitated Vehicle Routing Problem: a comparative study pp. 121-138.
Zubkova N.S., Shershakov S.A. Method for Building UML Activity Diagrams from Event Logs pp. 139-150.
Pertsukhov P.A., Mitsyuk A.A. Simulating Petri Nets with Inhibitor and Reset Arcs pp. 151-162.
Serebrennikov K.G. Computing Transition Priorities for Live Petri Nets pp. 163-174.
Tvardovskii A.S., Yevtushenko N.V. FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts pp. 175-188.
Burdonov I.B. Self-transformation of trees with a bounded degree of vertices to minimize or maximize the Wiener index pp. 189-210.
Shemetova E. N., Grigorev S.V. Path querying on acyclic graphs using Boolean grammars pp. 211-226.