Proceedings of ISP RAS


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

Edited by Academician V.P. Ivannikov

Download full volume
PDF


Table of Contents

V.P. Ivannikov. Introduction. pp. 7-8.

V. Kuliamin, A. Petrenko. Evolution of UniTESK Test Development Technology. pp. 9-26.

Igor Burdonov, Alexander Kossatchev. Conformance theory development: semantics, formal models, algorithms. pp. 27-72.

E.A. Gerlits, V.V. Kuliamin, A.V. Maksimov, A.K. Petrenko, A.V. Khoroshilov, A.V. Tsyvarev. Testing of Operating Systems. pp. 27-72.

Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin. Automation of conformance testing for communication protocols. pp. 109-148.

A. Kamkin, A. Kotsynyak, S. Smolov, A. Sortov, A. Tatarnikov, M. Chupilko. Tools for Functional Verification of Microprocessors. pp. 149-200.

Buzdalov D.V., Zelenov S.V., Kornykhin E.V., Petrenko A.K., Strakh A.V., Ugnenko A.A., Khoroshilov A.V. Tools for System Design of Integrated Modular Avionics. pp. 201-230.

V.P. Ivannikov, A.A. Belevantsev, A.E. Borodin, V.N. Ignatiev, D.M. Zhurikhin, A.I. Avetisyan, M.I. Leonov. Static analyzer Svace for finding of defects in program source code. pp. 231-250.

V.A. Padaryan, A.I. Getman, M.A. Solovyev, M.G. Bakulin, A.I. Borzilov, V.V. Kaushan, I.N. Ledovskich, U.V. Markin, S.S. Panasenko. Methods and software tools for combined binary code analysis. pp. 251-276.

Roman Zhuykov, Dmitry Melnik, Ruben Buchatskiy, Vahagn Vardanyan, Vladislav Ivanishin, Eugene Sharygin. Dynamic and ahead of time optimization for JavaScript programs. pp. 297-314.

Sergey Gaissaryan, Shamil Kurmangaleev, Kseniya Dolgorukova, Valery Savchenko, Sevak Sargsyan. Applying two-stage LLVM-based compilation approach to application deployment via cloud storage. pp. 315-326.

Dovgalyuk P.M., Makarov V.A., Padaryan V.A., Romaneev M.S., Fursova N.I. Application of software emulators for the binary code analysis. pp. 277-296.

Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Alexey Nurmukhametov, Valery Savchenko, Hripsime Matevosyan, Arutyun Avetisyan. Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure. pp. 327-342.

Dmitry Melnik, Shamil Kurmangaleev, Arutyun Avetisyan, Andrey Belevantsev, Dmitry Plotnikov, Mamikon Vardanyan. Optimizing programs for given hardware architectures with static compilation: methods and tools. pp. 343-356.

Alexander Monakov, Eugene Velesevich, Vladimir Platonov, Arutyun Avetisyan. Analysis and development tools for efficient programs on parallel architectures. pp. 357-374.

Vartanov S.P., Gerasimov A.Y. Dynamic program analysis for error detection using goal-seeking input data generation. pp. 375-394.

S.V. Syromyatnikov, I. E. Bronshteyn, N. L. Lugovskoy. Refactoring on the whole project. pp. 395-402.

O.I. Samovarov, S.S. Gaysaryan. The web-laboratory architecture based on the cloud and the UniHUB implementation as an extension of the OpenStack platform. pp. 403-420.

Denis Turdakov, Nikita Astrakhantsev, Yaroslav Nedumov, Andrey Sysoev, Ivan Andrianov, Vladimir Mayorov, Denis Fedorenko, Anton Korshunov, Sergey Kuznetsov. Texterra: A Framework for Text Analysis. pp. 421-438.

Anton Korshunov, Ivan Beloborodov, Nazar Buzun, Valeriy Avanesov, Roman Pastukhov, Kyrylo Chykhradze, Ilya Kozlov, Andrey Gomzin, Ivan Andrianov, Andrey Sysoev, Stepan Ipatov, Ilya Filonenko, Christina Chuprina, Denis Turdakov, Sergey Kuznetsov. Social network analysis: methods and applications. pp. 439-456.

V. A. Semenov, A. S. Anichkin, S. V. Morozov, O. A. Tarlapan, V. A. Zolotov. Effective Method For Scheduling Complex Industrial Programs Under Spatio-Temporal Constraints. pp. 457-482.

N.N. Kuzyurin, D.A. Grushin, S.A. Fomin. Two-dimensional packing problems and optimization in distributed computing systems. pp. 483-502.

Back to the list of all volumes