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.