Proceedings of ISP RAS

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

Edited by Academician V.P. Ivannikov

Table of Contents

Ivannikov V.P, Introduction. Стр. I-V

Andrey Belevantsev, Alexey Kravets, Alexander Monakov. Automatically generating OpenCL code from loop nests via a polyhedral model. pp. 5-22.

Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov. Using static analysis for finding security vulnerabilities and critical errors in source code. pp. 23-38.

Arutyun Avetisyan, Alexey Borodin. Mechanisms for extending the system of static analysis Svace by new types of detectors of vulnerabilities and critical errors. pp. 39-54.

Ildar Isaev, Denis Sidorov, Alexander Gerasimov, Mikhail Ermakov. Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets. pp. 55-70.

A.I. Avetisyan, K.U. Dolgorukova, Sh.F. Kurmangaleev. Dynamic profile collection for LLVM. pp. 71-82.

A.I. Avetisyan, M.S. Akopyan, S.S. Gaissaryan. The methods of precise measurement of the loop nests' execution time during JavaMPI-programs analysis in ParJava environment. pp. 83-102.

Dmitry Melnik, Alexandr Monakov, Arutyun Avetisyan. Support for Conditional Execution in Selective Scheduling. pp. 103-118.

M.A. Klimushenkova, V.A. Makarov. A Method for Automatic Recovery of Variables Based on Program Execution Traces. pp. 119-122.

Pavel Dovgalyuk. Deterministic program rerun within a virtual machine. pp. 123-132.

Pavel A. Klemenkov. Software performance estimation in a virtualized environment based on atomic tests. pp. 133-140.

V.A. Zakharov, T.A. Novikova. On the application of substitution algebra to program unification. pp. 141-166.

V.V. Lipaev. Risks of Design and Development of Portable Software Products. pp. 167-182.

Ivan V. Bludov. Solving NULL issue in queries to a relational database using the operators of relational algebra A. pp. 183-204.

A.M. Eldarkhanov. An overview of data models of object-oriented DBMSS. pp. 205-226.

D. Vasilik. Snapshot Isolation Protocol Performance Evaluation. pp. 227-244.

Kirill Smirnov, George Chernishev. Empirical study of parallel SQL query execution. pp. 245-262.

R.M. Miniakhmetov. Integrating Fuzzy c-Means Clustering with PostgreSQL. pp. 263-276.

Anton Pavlov, Boris Dobrov. Detecting Content Spam on the Web through Text Diversity Analysis. pp. 277-296.

Nikita Astrakhantsev. Extracting Objects and Their Attributes from Tables in Text Documents. pp. 297-310.

Sergey Bartunov, Alexander Boldakov, Denis Turdakov. WikifyMe: Creating Testbed for Wikifiers. pp. 311-322.

Anton V. Korshunov, Denis Yu. Turdakov, Jinguk Jeong, Minho Lee, Changsung Moon. A category-driven approach to deriving domain specific subsets of Wikipedia. pp. 323-348.

Martin Davtyan. Heuristic data modeling in information systems pp. 349-356.

C.S. Pan. Development of a Parallel DBMS on the Basis of PostgreSQL. pp. 357-370.

Back to the list of all volumes