Contents
Programming and Computer Software

Vol. 37, No. 3, 2011

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

A Survey of Methods for Constructing Covering Arrays

V. V. Kuliamin and A. A. Petukhov p. 121  abstract

Survey of Modern Technologies
of Simulation-Based Verification of Hardware

A. S. Kamkin and M. M. Chupilko p. 147  abstract

On Frequency Analysis of Sequential Program Code Execution

R. L. Smelyanskiy p. 153  abstract

Simulation of Operational Semantics of Machine Instructions

V. A. Padaryan, M. A. Solov’ev, and A. I. Kononov p. 161  abstract

Methods and Tools for Translation of Graphical Diagrams

O. G. Sharov and A. N. Afanas’ev p.171  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.