Proceedings of ISP RAS

Proceedings of the Institute for System Programming. Volume 25, 2013, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikov

Table of Contents

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

Sergey Vartanov, Alexander Gerasimov. Applying dynamic analysis for defect detection in Java-applications. pp. 9-28.

M.K. Ermakov, A.Y. Gerasimov. Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection. pp. 29-38.

N.G. Zetser. Automatic clone detection for refactoring. pp. 39-50.

N.L. Lugovskoy, S.V. Syromyatnikov. Source code transformation and automatic correction of defects with KAST language. pp. 51-66.

I.E. Bronshteyn. Approach to detecting types inconsistency errors in a program code in dynamic languages. Стр. 67-84.

I.S. Zakharov, V.S. Mutilin, E.M. Novikov, A.V. Khoroshilov. Environment Modeling of Linux Operating System Device Drivers. pp. 85-112.

S.D. Kuznetsov, N.A. Mendkovich. Minimization of data base query's conditions: evoluation of efficiency. pp. 113-130.

Zolotov V.A., Semenov V.A. On application of spatial decomposition method for large data sets indexing. pp. 131-166.

D.G. Fedorenko, N.A. Astrakhantsev. Automatic Extraction of New Concepts from Domain-Specific Terms. pp. 167-178.

Anton Korshunov, Ivan Beloborodov, Andrey Gomzin, Christina Chuprina, Nikita Astrakhantsev, Yaroslav Nedumod, Denis Turdakov. Detection of demographic attributes of microblog users. pp. 179-194.

Alexander Shokurov. On Solving The Systems of Algebraic Equations Using Gröbner Bases. pp. 195-206.

Alexey Voevodin, Semen Kosyachenko. Optimal Ordering of Conflicting Objects and the Traveling Salesman Problem. pp. 207-224.

Back to the list of all volumes