Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    AuthorAleksandr G. Tormasov
    Submit Your Paper
    Publication schedule
    • №4 December 2026
    • №1 March 2027
    • №2 June 2027
    Latest issues
    Aleksandr G. Tormasov
    Aleksandr G. Tormasov

    Mathematical model and efficient algorithm to find and distribute data in the decentralized distributed file system

    Infocommunication Technologies
    Smetanin A.G.Tormasov A.G.
    • Year: 2012
    • Issue: 6
    • 2
    • 9141
    • Pages: 16-22

    Verification method based on decomposition of states in rely-guarantee/sep logic

    Mathematical Modelling: Methods, algorithms, technologies
    Prokopenko A.S.Tormasov A.G.
    • Year: 2010
    • Issue: 6
    • 2
    • 9366
    • Pages: 127-135

    Organization of memory snapshot based on (n, k)-scheme under limitation rate and order of memory access

    Computer Systems and Software
    Sokolov E.V.Kudrin M.U.Tormasov A.G.
    • Year: 2009
    • Issue: 4
    • 2
    • 9224
    • Pages: 131-136

    The race condition detection using the graph of joint thread execution

    Computer Systems and Software
    Kudrin M.U.Sokolov E.V.Tormasov A.G.
    • Year: 2009
    • Issue: 5
    • 4
    • 9442
    • Pages: 123-129