Russian Dissertation Library

Mathematical and software support of computing systems, complexes and computer networks

code 2.3.5. • before 2022: 05.13.11 “Mathematical and software support of computers, computer complexes and computer networks”

  1. Dissertation
    Mathematical and software support for knowledge base management based on multilevel semantic models of heterogeneous information resources

    Greger, Sergei Eduardovich · 2016 · Candidate of Sciences · Moscow State Technological University

  2. Dissertation
    Representation of data mining algorithms and their implementation in distributed environments based on the actor model

    Petukhov, Ilya Vitalyevich · 2016 · Candidate of Sciences · Saint Petersburg State Electrotechnical University (LETI)

  3. Dissertation
    Task assignment and scheduling in distributed real-time systems

    Skorodumov, Yuriy Mikhailovich · 2016 · Candidate of Sciences · Saint Petersburg State Electrotechnical University "LETI"

  4. Dissertation
    Algorithms of dynamically reconfigurable computing environments for image processing

    Shashev, Dmitry Vadimovich · 2016 · Candidate of Sciences · National Research Tomsk State University

  5. Dissertation
    Methods and means of reducing the execution time of parallel programs for shared-memory computing systems

    Shapovalov, Oleg Vladimirovich · 2016 · Candidate of Sciences · Southern Federal University

  6. Dissertation
    Research and development of semantic methods for analyzing distributed programs

    Shipov, Andrey Aleksandrovich · 2016 · Candidate of Sciences · Moscow Technological University

  7. Dissertation
    Methods and tools for creating parallel-pipeline programs with scalable bit width for solving digital signal processing problems on reconfigurable computing systems

    Chkan, Andrey Viktorovich · 2016 · Candidate of Sciences · Southern Federal University

  8. Dissertation
    Control of job migration in distributed intermodule interaction based on mixed-priority strategies with class switching

    Thai Phuong Chuc · 2016 · Candidate of Sciences · Voronezh State Technical University

  9. Dissertation
    Methods and algorithms for integrating a large volume of bibliographic records into an open semantic space

    Shorin, Oleg Nikolaevich · 2016 · Candidate of Sciences · Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences

  10. Dissertation
    Methods for constructing software systems for automating experiments in neutron spectrometry using network technologies

    Salamatin, Kirill Markovich · 2015 · Candidate of Sciences · Joint Institute for Nuclear Research (JINR)

  11. Dissertation
    Development and study of simulation modeling methods and software tools for building dynamic integrated expert systems

    So Ti Ha Aung · 2015 · Candidate of Sciences · National Research Nuclear University

  12. Dissertation
    Methods and software tools for decision choice support based on direct and inverse fuzzy evaluation

    Fedulov, Yaroslav Alexandrovich · 2015 · Candidate of Sciences · National Research University Moscow Power Engineering Institute

  13. Dissertation
    Methods and tools for solving problems of data search and secure storage using hybrid computing technologies

    Rovnyagin, Mikhail Mikhailovich · 2015 · Candidate of Sciences · National Research Nuclear University

  14. Dissertation
    Methods and software tools for integration of applications using an external bus

    Shumsky, Leonid Dmitrievich · 2015 · Candidate of Sciences · National Research Nuclear University

  15. Dissertation
    Algorithms and software tools for automatic text-independent recognition of persons by voice

    Shulipa, Andrey Konstantinovich · 2015 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

  16. Dissertation
    A method for developing formal contextual requirements for the verification of software logic control systems

    Shoshmina, Irina Vladimirovna · 2015 · Candidate of Sciences · Saint Petersburg Polytechnic University

  17. Dissertation
    Generation of finite-state machines based on ant colony algorithms

    Chivilikhin, Daniil Sergeevich · 2015 · Candidate of Sciences · Saint Petersburg National Research University of Information Technologies, Mechanics and Optics

  18. Dissertation
    Logical inference method and machine for the formal verification of parallel algorithms

    Chistyakov, Gennadiy Andreevich · 2015 · Candidate of Sciences · Saint Petersburg State Electrotechnical University "LETI"

  19. Dissertation
    Study of methods for monitoring the functioning of software-defined networks

    Chemeritskiy, Evgeniy Viktorovich · 2015 · Candidate of Sciences · Lomonosov Moscow State University (MSU). Faculty of Computational Mathematics and Cybernetics

  20. Dissertation
    Development of load management tools for multiserver systems based on scalable Markov processes

    Hoang Zhang · 2015 · Candidate of Sciences · Voronezh State Technical University