Search
Computing, Telecommunications and Control
Computing, Telecommunications and Control
Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
Английский
Русский
Version for the visually impaired
About the journal
Editorial board
All issues
Guide for Authors
Menu
Submission contents and structure
Formatting guidelines
Submission
Peer review
References
Article abstract
Lisence Agreement
Publication ethics
Journal metrics
News
Contact us
Author
Tormasov Aleksandr G.
Submit Your Paper
Publication schedule
№3 September 2023
№4 December 2023
Latest issues
2023
,
Volume 16
Issue 2
Full text
2023
,
Volume 16
Issue 1
Full text
2022
,
Volume 15
Issue 4
Full text
2022
,
Volume 15
Issue 3
Full text
Tormasov Aleksandr G.
decodeDefault
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
4517
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
4456
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
4631
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
4555
Pages: 123-129