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

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

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.

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.

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.

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.

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

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

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

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.

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.

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.

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.

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

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.

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.

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.

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

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

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.

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

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

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

Back to the list of all volumes