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
    Submit Your Paper
    Publication schedule
    • №4 December 2026
    • №1 March 2027
    • №2 June 2027

    Articles by keywords "multiprocessor programming"

    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
    • 9218
    • Pages: 131-136

    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
    • 9363
    • Pages: 127-135

    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
    • 9436
    • Pages: 123-129