Performance analysis of trickles and TCP transport protocols under high-load network conditions M. A. NikitinskiyD. Ju. Chalyy OriginalPaper 06 February 2014 Pages: 359 - 365
Tail recursion transformation in functional dataflow parallel programs A. I. LegalovO. V. NepomnyaschyM. S. Kropacheva OriginalPaper 06 February 2014 Pages: 366 - 372
Formal verification of programs in the functional data-flow parallel language M. S. KropachevaA. I. Legalov OriginalPaper 06 February 2014 Pages: 373 - 384
About algebraic program models with procedures R. I. PodlovchenkoA. E. Molchanov OriginalPaper 06 February 2014 Pages: 385 - 392
CPN tools-assisted simulation and verification of nested Petri nets L. W. DworzaĆskiI. A. Lomazova OriginalPaper 06 February 2014 Pages: 393 - 402
Verification of computing grids with special edge conditions by infinite Petri nets D. A. Zaitsev OriginalPaper 06 February 2014 Pages: 403 - 412
Deductive verification of telecommunication systems written in C I. S. Anureev OriginalPaper 06 February 2014 Pages: 413 - 419
Deductive verification of the Sliding Window Protocol D. A. ChkliaevV. A. Nepomniaschy OriginalPaper 06 February 2014 Pages: 420 - 426
Tree slicing: Finding intertwined and gapped clones in one simple step M. AkhinV. Itsykson OriginalPaper 06 February 2014 Pages: 427 - 432
An approach to creating concretized test scenarios within test automation technology for industrial software projects A. KolchinA. LetichevskyV. Kotlyarov OriginalPaper 06 February 2014 Pages: 433 - 442
On construction and verification of PLC programs E. V. KuzminV. A. Sokolov OriginalPaper 06 February 2014 Pages: 443 - 451
Dimensional characteristics of diffusion chaos S. D. Glyzin OriginalPaper 06 February 2014 Pages: 452 - 469
Asymptotics of the solutions of the generalized Hutchinson equation S. A. Kashchenko OriginalPaper 06 February 2014 Pages: 470 - 494
On asymptotics for critical solutions of systems of differential equations with oscillatory decreasing coefficients P. N. Nesterov OriginalPaper 06 February 2014 Pages: 500 - 515
Spatial properties of high-mode bifurcations of distributed logistic equations I. S. Kashchenko OriginalPaper 06 February 2014 Pages: 516 - 525
Double-frequency oscillations of an impulse neuron equation with two delays S. D. GlyzinE. O. Ovsyannikova OriginalPaper 29 January 2014 Pages: 526 - 540
The modeling of counter machines by two-head finite automata E. V. KuzminV. A. Sokolov OriginalPaper 29 January 2014 Pages: 541 - 544
Polynomial method for constructing equilibrium configurations of point vortices in a plane M. V. DeminaN. A. Kudryashov OriginalPaper 29 January 2014 Pages: 545 - 548
Spatially heterogeneous periodic solutions of the Hutchinson equation with distributed saturation D. S. GlyzinS. A. KashchenkoA. S. Polstyanov OriginalPaper 29 January 2014 Pages: 549 - 555
A generalized solution of an initial-boundary value problem arising in the mechanics of discrete-continuous systems E. P. KubyshkinO. A. Khrebtyugova OriginalPaper 29 January 2014 Pages: 556 - 565
Stability of the simplest periodic solutions in the Stuart-Landau equation with large delay A. A. Kashchenko OriginalPaper 29 January 2014 Pages: 566 - 570
Dynamics of weak interaction in systems of similar species E. V. Gorchakova OriginalPaper 29 January 2014 Pages: 571 - 576
Buffer phenomenon in the generalization of the Swift-Hohenberg equation D. V. Sandulyak OriginalPaper 29 January 2014 Pages: 577 - 584