Proceedings of ISP RAS


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.

Back to the list of all volumes