Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Author Aleksandr G. Tormasov
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
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
  • 0
  • 7235
  • 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
  • 0
  • 7335
  • 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
  • 0
  • 7354
  • 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
  • 0
  • 7403
  • Pages: 123-129