Proceedings of the Institute for System Programming. Volume 20, 2011, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
V.P. Ivannikov. Introduction. pp. 5-8.
A.Y. Tichonov, A.I. Avetisyan. Development of taint-analysis methods to solve the problem of searching of undeclared features. pp. 9-24.
D.V. Silakov. Using Hardware-assisted Virtualization in the Information Security Area. pp. 25-36.
Kirill Batuzov, Alexey Merkulov. Optimizations in Dynamic Binary Translation. pp. 37-50.
S.V. Syromyatnikov. Declarative Interface of Detecting Defects on Syntax Trees: KAST Language. pp. 51-68.
L.V. Dvoryansky. On the modeling of infinite counters by ordinary Petri nets. pp. 71-94.
V.V. Lipaev. Cross programming system YAUZA-6 for specialized real time computers (70s–80s of the last century). pp. 95-110.
S.V. Zelenov. Scheduling of Strictly Periodic Tasks in Real-Time Systems. pp. 113-122.
N.V. Pakulin, A.N. Tugaenko. Model-based testing of Internet Mail Protocols. pp. 125-141.
A.S. Kamkin, M.M. Chupilko. Mechanisms for functional testing of hardware models at different levels of abstraction. pp. 143-160.
A.V. Khoroshilov, V.S. Mutilin, E.M. Novikov, P.E. Shved, A.V. Strakh. Linux Driver Verification Architecture. pp. 163-187.
Sergey D. Kuznetsov. Transactional Massive-Parallel DBMSs: A New Wave. pp. 189-251.
Evgeny Kostychev, Vitaly Omelchenko, Sergey Zelenov. Covering functionality of database applications by generating special data. pp. 253-268.
Anton V. Korshunov. Keyterm extraction from microblogs' messages using Wikipedia. pp. 269-282.
Taranov I. Using prefix trees for searching text strings with disk-based storage. pp. 283-296.