Showing 181 - 200 results of 819 for search '"Моделирование и анализ информационных систем"', query time: 0.08s Refine Results
  1. 181
    TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data

    TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data by A. A. Sivov

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  2. 182
    Deductive Verification of the Sliding Window Protocol

    Deductive Verification of the Sliding Window Protocol by D. A. Chkliaev, V. A. Nepomniaschy

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 183
    On the calculus of positively constructed formulas for authomated theorem proving

    On the calculus of positively constructed formulas for authomated theorem proving by A. V. Davydov, A. A. Larionov, E. A. Cherkashin

    Published 2010-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  4. 184
    GRID-system Based on European EGI Standards for Large-scale Calculations Using the Original Accelerated Method of Quantum Chemistry

    GRID-system Based on European EGI Standards for Large-scale Calculations Using the Original Accelerated Method of Quantum Chemistry by Nikolay A. Anikin, Alexander Y. Muskatin, Mikhail B. Kuzminsky, Alexandr I. Rusakov

    Published 2019-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  5. 185
    Approach to Behavior Scenarios Debugging

    Approach to Behavior Scenarios Debugging by P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko

    Published 2014-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  6. 186
    Logic for reasoning about bugs in loops over data sequences (IFIL)

    Logic for reasoning about bugs in loops over data sequences (IFIL) by Dmitry A. Kondratyev

    Published 2023-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  7. 187
    On the Expressive Power of Some Extensions of Linear Temporal Logic

    On the Expressive Power of Some Extensions of Linear Temporal Logic by Anton Gnatenko, Vladimir Zakharov

    Published 2018-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  8. 188
    Solving Linear Programming Problems by Reducing to the Form with an Obvious Answer

    Solving Linear Programming Problems by Reducing to the Form with an Obvious Answer by Gleb D. Stepanov

    Published 2021-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  9. 189
    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic

    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic by Marat Akhin, Vladimir Itsykson

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  10. 190
    Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets

    Verification of Telecommunication Systems Specified by Communicating Finite Automata with the Help of Coloured Petri Nets by D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomniaschy

    Published 2011-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  11. 191
    On the Hodge, Tate and Mumford-Tate Conjectures for Fibre Products of Families of Regular Surfaces with Geometric Genus 1

    On the Hodge, Tate and Mumford-Tate Conjectures for Fibre Products of Families of Regular Surfaces with Geometric Genus 1 by Olga V. Oreshkina (Nikol’skaya)

    Published 2018-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  12. 192
    Oscillations in Arrays of Nonlinear Elements in the Scott Experiment

    Oscillations in Arrays of Nonlinear Elements in the Scott Experiment by A. S. Bobok, S. D. Glyzin

    Published 2015-03-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  13. 193
    Model Oriented Approach for Industrial Software Development

    Model Oriented Approach for Industrial Software Development by P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov

    Published 2015-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  14. 194
    The Asymptotical Analysis for the Problem of Modeling the Gas Admixture in the Surface Layer of the Atmosphere

    The Asymptotical Analysis for the Problem of Modeling the Gas Admixture in the Surface Layer of the Atmosphere by M. A. Davydova, N. T. Levashova, S. A. Zakharova

    Published 2016-06-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  15. 195
    Application of Computer Algebra Systems to the Construction of the Collocations and Least Residuals Method for Solving the 3D Navier–Stokes Equations

    Application of Computer Algebra Systems to the Construction of the Collocations and Least Residuals Method for Solving the 3D Navier–Stokes Equations by V. P. Shapeev, E. V. Vorozhtsov

    Published 2014-10-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  16. 196
    Truth Space Method for Caching Database Queries

    Truth Space Method for Caching Database Queries by S. V. Mosin, S. V. Zykin

    Published 2015-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  17. 197
    PolarDB – Infrastructure for Specialized NoSQL Datebases and DBMS

    PolarDB – Infrastructure for Specialized NoSQL Datebases and DBMS by A. G. Marchuk

    Published 2014-12-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  18. 198
    Discovering hierarchical process models: an approach based on events partitioning

    Discovering hierarchical process models: an approach based on events partitioning by Antonina K. Begicheva, Irina A. Lomazova, Roman A. Nesterov

    Published 2024-09-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  19. 199
    De-duplication on the Backup System with Information Storage in a Database

    De-duplication on the Backup System with Information Storage in a Database by Sergey M. Taranin

    Published 2017-04-01
    “…Моделирование и анализ информационных систем…”
    Get full text
    Article
    Save to List
    Saved in:
  20. 200
    Cloud Service for Interactive Simulation of Interregional Trade

    Cloud Service for Interactive Simulation of Interregional Trade by A. S. Velichko, V. V. Gribova, L. A. Fedorishchev

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

Search Tools: