Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE Olga KouchnarenkoJean-François Weber OriginalPaper 07 February 2018 Pages: 463 - 478
Analysis of Real-Time Applications Feasibility through Simulation S. N. BaranovV. V. Nikiforov OriginalPaper 07 February 2018 Pages: 479 - 488
Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation N. V. VizovitinV. A. NepomniaschyA. A. Stenenko OriginalPaper 07 February 2018 Pages: 489 - 497
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution N. O. GaraninaE. A. Sidorova OriginalPaper 07 February 2018 Pages: 498 - 506
Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II M. L. GromovN. V. Shabaldina OriginalPaper 07 February 2018 Pages: 507 - 515
Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines A. D. ErmakovN. V. Yevtushenko OriginalPaper 07 February 2018 Pages: 516 - 522
On the Minimization of Finite State Transducers over Semigroups V. A. ZakharovG. G. Temerbekova OriginalPaper 07 February 2018 Pages: 523 - 530
Formalism and Language Tools for Specification of the Semantics of Software Libraries V. M. Itsykson OriginalPaper 07 February 2018 Pages: 531 - 538
Method for Choosing a Balanced Set of Fault-Tolerance Techniques for Distributed Computer Systems D. Yu. Volkanov OriginalPaper 07 February 2018 Pages: 539 - 550
On Optimization and Parallelization of the Little Algorithm for Solving the Travelling Salesman Problem V. V. Vasilchikov OriginalPaper 07 February 2018 Pages: 551 - 557
Network Model for the Problem of Integer Balancing of a Four-Dimensional Matrix A. V. Smirnov OriginalPaper 07 February 2018 Pages: 558 - 566
Construction of CFC-Programs by LTL-Specification D. A. RyabukhinE. V. KuzminV. A. Sokolov OriginalPaper 07 February 2018 Pages: 567 - 575
Polyhedral Characteristics of Balanced and Unbalanced Bipartite Subgraph Problems V. A. BondarenkoA. V. NikolaevD. A. Shovgenov OriginalPaper 07 February 2018 Pages: 576 - 585
Expansion of Self-Similar Functions in the Faber–Schauder System E. A. Timofeev OriginalPaper 07 February 2018 Pages: 586 - 591
Asymptotic Expansions of Eigenvalues of the First Boundary-Value Problem for Singularly Perturbed Second-Order Differential Equation with Turning Points S. A. Kashchenko OriginalPaper 07 February 2018 Pages: 592 - 605
Asymptotics, Stability, and Region of Attraction of Periodic Solution to a Singularly Perturbed Parabolic Problem with Double Root of a Degenerate Equation V. F. ButuzovN. N. NefedovK. R. Schneider OriginalPaper 07 February 2018 Pages: 606 - 613
Numerical Simulation of Adiabatic Shear-Band Formation in Composites N. A. KudryashovR. V. MuratovP. N. Ryabov OriginalPaper 07 February 2018 Pages: 614 - 620
Analytical Solutions for Nonlinear Convection–Diffusion Equations with Nonlinear Sources N. A. KudryashovD. I. Sinelshchikov OriginalPaper 07 February 2018 Pages: 621 - 626
Two-Wave Interactions in the Fermi–Pasta–Ulam Model S. D. GlyzinS. A. KashchenkoA. O. Tolbey OriginalPaper 07 February 2018 Pages: 627 - 633
Polylogarithms and the Asymptotic Formula for the Moments of Lebesgue’s Singular Function E. A. Timofeev OriginalPaper 07 February 2018 Pages: 634 - 638
Dynamics of a System of Two Simplest Oscillators with Compactly Supported Nonlinear Feedbacks A. A. Kashchenko OriginalPaper 07 February 2018 Pages: 639 - 644
Asymptotics for Solutions of Harmonic Oscillator with Integral Perturbation P. N. Nesterov OriginalPaper 07 February 2018 Pages: 645 - 657
Relaxation Oscillations in a System of Two Pulsed Synaptically Coupled Neurons S. D. GlyzinA. Yu. KolesovE. A. Marushkina OriginalPaper 07 February 2018 Pages: 658 - 665
On the Spatial Boundedness of Cellular RDA-nets V. A. Bashkin OriginalPaper 07 February 2018 Pages: 666 - 677
Generation of a Social Network Graph by Using Apache Spark Y. A. BelovS. I. Vovchok OriginalPaper 07 February 2018 Pages: 678 - 681
1-Skeletons of the Spanning Tree Problems with Additional Constraints V. A. BondarenkoA. V. NikolaevD. A. Shovgenov OriginalPaper 07 February 2018 Pages: 682 - 688
On the Minimization Problem for Sequential Programs V. A. ZakharovS. R. Jaylauova OriginalPaper 07 February 2018 Pages: 689 - 700
Data Rate Assessment on L2–L3 CPU Bus and Bus between CPU and RAM in Modern CPUs M. S. Komar OriginalPaper 07 February 2018 Pages: 701 - 708
Using Event Logs for Local Correction of Process Models A. A. MitsyukI. A. LomazovaW. M. P. van der Aalst OriginalPaper 07 February 2018 Pages: 709 - 723
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage Aleksandr TvardovskiiKhaled El-FakihNina Yevtushenko OriginalPaper 07 February 2018 Pages: 724 - 730
Asymptotic Formula for the Moments of the Takagi Function E. A. Timofeev OriginalPaper 07 February 2018 Pages: 731 - 735
Mathematical Model of Nicholson’s Experiment S. D. Glyzin OriginalPaper 07 February 2018 Pages: 736 - 752
A Family of Non-Rough Cycles in a System of Two Coupled Delayed Generators A. A. Kashchenko OriginalPaper 07 February 2018 Pages: 753 - 756
On Numerical Characteristics of a Simplex and Their Estimates M. V. NevskiiA. Yu. Ukhalov OriginalPaper 07 February 2018 Pages: 757 - 769
New Estimates of Numerical Values Related to a Simplex M. V. NevskiiA. Yu. Ukhalov OriginalPaper 07 February 2018 Pages: 770 - 782
Relaxation Cycles in a Model of Synaptically Interacting Oscillators M. M. Preobrazhenskaia OriginalPaper 07 February 2018 Pages: 783 - 797