ski and I. A. Lomazova p. 393 abstract
Contents
Automatic Control and Computer Sciences
Vol. 47, No. 7, 2013
A simultaneous English language translation of this journal is available from Allerton Press, Inc.
Distributed worldwide by Springer. Automatic Control and Computer Sciences ISSN 0146-4116.
Performance Analysis of Trickles and TCP Transport Protocols
under High-load Network Conditions
M. A. Nikitinskiy and D. Ju. Chalyy p. 359 abstract
Tail Recursion Transformation in Functional Dataflow Parallel Programs
A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, and M. S. Kropacheva p. 366 abstract
Formal Verification of Programs in the Functional Data-flow Parallel Language
M. S. Kropacheva and A. I. Legalov p. 373 abstract
About Algebraic Program Models with Procedures
R. I. Podlovchenko and A. E. Molchanov p. 385 abstract
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
L. W. Dworza
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
D. A. Zaitsev p. 403 abstract
Deductive Verification of Telecommunication Systems Written in C
I. S. Anureev p. 413 abstract
Deductive Verification of the Sliding Window Protocol
D. A. Chkliaev and V. A. Nepomniaschy p. 420 abstract
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
M. Akhin and V. Itsykson p. 427 abstract
An Approach to Creating Concretized Test Scenarios within Test Automation Technology
for Industrial Software Projects
A. Kolchin, A. Letichevsky, V. Peschanenko, P. Drobintsev, and V. Kotlyarov p. 433 abstract
On Construction and Verification of PLC Programs
E. V. Kuzmin and V. A. Sokolov p. 443 abstract
Dimensional Characteristics of Diffusion Chaos
S. D. Glyzin p. 452 abstract
Asymptotics of the Solutions of the Generalized Hutchinson Equation
S. A. Kashchenko p. 470 abstract
Balls in Sequence Spaces
E. A. Timofeev p. 495 abstract
On Asymptotics for Critical Solutions of Systems of Differential Equations
with Oscillatory Decreasing Coefficients
P. N. Nesterov p. 500 abstract
Spatial Properties of High-Mode Bifurcations of Distributed Logistic Equations
I. S. Kashchenko p. 516 abstract
Double-Frequency Oscillations of an Impulse Neuron Equation with Two Delays
S. D. Glyzin and E. O. Ovsyannikova p. 526 abstract
The Modeling of Counter Machines by Two-Head Finite Automata
E. V. Kuzmin and V. A. Sokolov p.541 abstract
Polynomial Method for Constructing Equilibrium Configurations of Point Vortices in a Plane
M. V. Demina and N. A. Kudryashov p. 545 abstract
Spatially Heterogeneous Periodic Solutions of the Hutchinson Equation
with Distributed Saturation
D. S. Glyzin, S. A. Kashchenko, and A. S. Polstyanov p. 549 abstract
A Generalized Solution of an Initial-Boundary Value Problem Arising in the Mechanics
of Discrete–Continuous Systems
E. P. Kubyshkin and O. A. Khrebtyugova p. 556 abstract
Stability of the Simplest Periodic Solutions in the Stuart–Landau Equation with Large Delay
A. A. Kashchenko p. 566 abstract
Dynamics of Weak Interaction in Systems of Similar Species
E. V. Gorchakova p. 571 abstract
Buffer Phenomenon in the Generalization of the Swift–Hohenberg Equation
D. V. Sandulyak p.577 abstract
Pleiades Publishing home page | journal home page | top
If you have any problems with this server, contact webmaster.