Showing 321 - 340 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.08s Refine Results
  1. 321
    Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification

    Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification by M. Belyaev, V. Itsykson

    Published 2015-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 322
    Метод оценки частоты выполнения фрагментов кода последовательной программы

    Метод оценки частоты выполнения фрагментов кода последовательной программы by Alexander Shalimov

    Published 2010-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 323
    NP-completeness and One Polynomial Subclass of the Two-Step Graph Colouring Problem

    NP-completeness and One Polynomial Subclass of the Two-Step Graph Colouring Problem by Natalya Sergeevna Medvedeva, Alexander Valeryevich Smirnov

    Published 2019-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 324
    Error Estimates in Balanced Norms of Finite Element Methods on Shishkin Meshes for Reaction-Diffusion Problems

    Error Estimates in Balanced Norms of Finite Element Methods on Shishkin Meshes for Reaction-Diffusion Problems by R. Hans-G.

    Published 2016-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 325
    The Influence of Delayed Feedback Control on Stabilization of Periodic Orbits

    The Influence of Delayed Feedback Control on Stabilization of Periodic Orbits by V. G. Bogaevskaya, I. S. Kashchenko

    Published 2014-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 326
    Generalized Asynchronous Systems

    Generalized Asynchronous Systems by E. S. Kudryashova, A. A. Khusainov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 327
    Enumeration Degrees of the Bounded Sets

    Enumeration Degrees of the Bounded Sets by Boris Y. Solon

    Published 2022-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 328
    Some New Components of the Moduli Scheme MP3(2; -1; 2; 0) of Stable Coherent Torsion Free Sheaves of Rank 2 on P3

    Some New Components of the Moduli Scheme MP3(2; -1; 2; 0) of Stable Coherent Torsion Free Sheaves of Rank 2 on P3 by M. A. Zavodchikov

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 329
    On the Root-Class Residuallity of Generalized Free Products

    On the Root-Class Residuallity of Generalized Free Products by E. A. Tumanova

    Published 2013-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 330
    Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования

    Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования by G. A. Tarnavsky

    Published 2010-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 331
    Generation of Random Numbers and Parallel Random Number Streams for Monte Carlo Simulations

    Generation of Random Numbers and Parallel Random Number Streams for Monte Carlo Simulations by L. Yu. Barash, L. N. Shchur

    Published 2015-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 332
    An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects

    An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects by A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 333
    Computer Difference Scheme for a Singularly Perturbed Reaction- Diffusion Equation in the Presence of Perturbations

    Computer Difference Scheme for a Singularly Perturbed Reaction- Diffusion Equation in the Presence of Perturbations by G. I. Shishkin

    Published 2016-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 334
    Stability of CW Solutions of the FDML Laser

    Stability of CW Solutions of the FDML Laser by A. A. Kashchenko

    Published 2014-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 335
    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function

    Platform-independent Specification and Verification of the Standard Mathematical Square Root Function by Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Eugene V. Bodin, Alexei V. Promsky

    Published 2018-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 336
    A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation

    A Formal Requirements Model, Used in the Process of Application Code and Test Code Generation by S. N. Baranov, V. P. Kotlyarov

    Published 2011-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 337
    Errata And Adendum For The Article "A Correction For Period Of Oscillation In The Model Of Spiking Neuron"

    Errata And Adendum For The Article "A Correction For Period Of Oscillation In The Model Of Spiking Neuron" by O. A. Dunaeva, M. L. Machin

    Published 2009-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 338
    The Andronov–Hopf Bifurcation in a Biophysical Model of the Belousov Reaction

    The Andronov–Hopf Bifurcation in a Biophysical Model of the Belousov Reaction by Vladimir E. Goryunov

    Published 2018-02-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 339
    Comparison of Doubling the Size of Image Algorithms

    Comparison of Doubling the Size of Image Algorithms by S. E. Vaganov, S. I. Khashin

    Published 2016-08-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 340
    Features of Oscillations in Adiabatic Oscillators with Delay

    Features of Oscillations in Adiabatic Oscillators with Delay by P. N. Nesterov, E. N. Agafonchikov

    Published 2013-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: