Proceedings of ISP RAS

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

Download full volume

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.

Back to the list of all volumes