Proceedings of ISP RAS


Proceedings of the Institute for System Programming. Volume 29, issue 4, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Corresponding Member of RAS A.I. Avetisyan

Download full volume
PDF


Table of Contents

N. Y. Viuginov, V. S. Fondaratov Automated Type Contracts Generation in Ruby pp. 7-20.

R.A. Nesterov, I.A. Lomazova Using Interface Patterns for Compositional Discovery of Distributed System Models pp. 21-38.

A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, S. Ebersold A contract-based method to specify stimulus-response requirements pp. 39-54.

D.R. Bashkirova, S. Yoshizawa, R.H. Latypov, H. Yokota Fast L1 Gauss Transforms for Edge-Aware Image Filtering pp. 55-72.

A.V. Kornilova, I.A. Kirilenko, N.I. Zabelina Real-time digital video stabilization using MEMS-sensors pp. 73-86.

A.R. Gimaletdinova, K.Y. Degtiarev Type-2 Fuzzy Rule-Based Model of Urban Metro Positioning Service pp. 87-106.

M.K. Gordenko, S.M. Avdoshin The Mixed Chinese Postman Problem pp. 107-122.

S.M. Avdoshin, E.N. Beresneva The Metric Travelling Salesman Problem: The Experiment on Pareto-optimal Algorithms pp. 123-138.

A.S. Tvardovskii, N.V. Yevtushenko, M.L. Gromov Minimizing Finite State Machines with time guards and timeouts pp. 139-154.

K.V. Davydova, S.A. Shershakov Mining Hybrid UML Models from Event Logs of SOA Systems pp. 155-174.

L.W. Dworzanski, V.E. Mikhaylov Tool for Behavioral Analysis of Well-Structured Transition Systems pp. 175-190.

A.A. Karnov, S.V. Zelenov Stochastic Methods for Analysis of Complex Hardware-Software Systems pp. 191-202

A. Volkov, M. Mandrykin Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions pp. 203-216

S.V. Kozin, V.S. Mutilin Static Verification of Linux Kernel Configurations pp. 217-230.

V.S. Burenkov A Technique for Parameterized Verification of Cache Coherence Protocols pp. 231-246

M.M. Chupilko, A.S. Kamkin, M.S. Lebedev, S.A. Smolov Test Generation for Digital Hardware Based on High-Level Models pp. 247-256

M.V. Petrochenkov, R.E. Mushtakov, I.A. Stotland Verification of 10 Gigabit Ethernet Controllers pp. 257-268.

O. Moskaleva, A. Gromova Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms pp. 269-282.

K.A. Mallachiev, N.V. Pakulin, A.V. Khoroshilov, D.V. Buzdalov Using modularization in embedded OS pp. 283-294.

A.N. Emelenko, K.A. Mallachiev, N.V. Pakulin Debugger for Real-Time OS: Challenges of Multiplatform Support pp. 295-302.

L.D. Kanteev, Yu.O. Kostyukov, D.V. Luciv, D.V. Koznov, M.N. Smirnov Discovering Near Duplicate Text in Software Documentation pp. 303-314

S.I. Smetanin The Program for Public Mood Monitoring through Twitter Content in Russia pp. 315-324.

I.I. Dolgaleva, I.A. Gorshkov, R.E. Yavorskiy Narrabat — a Prototype Service for Stylish News Retelling pp. 325-336.

Back to the list of all volumes