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 Podkopaev Anton V.
Submit Your Paper
Publication schedule
  • №3 September 2025
  • №4 December 2025
Latest issues
Podkopaev Anton V.
Anton V. Podkopaev
Affiliation
Saint Petersburg State University

On Compilation Correctness for a Subset of a Promising Memory Model to the ARMv8.3 Memory Model

Software of Computer, Telecommunications and Control Systems
Podkopaev A.V. Lahav O. Vafeiadis V.
  • Year: 2017
  • Volume: 10
  • Issue: 4
  • 36
  • 7531
  • Pages: 51-69

A Language-Independent Code Formatting by Syntactic Matching and Templates

Software of Computer, Telecommunications and Control Systems
Podkopaev A.V. Korovianskii A.Yu. Ozernykh I.S.
  • Year: 2015
  • Issue: 4
  • 555
  • 8109
  • Pages: 37-50

Conceptual representation of subject problems of search designing of the physical principle of action of sensitive elements of the control system

Conference "Technologies Microsoft in the theory and programming practice"
Kuzenkova A.S. Deripaska A.O. Taran K.S. Podkopaev A.V. Litvinov Yu.V. Bryksin T.A.
  • Year: 2011
  • Issue: 4
  • 0
  • 6868
  • Pages: 142-145

Relational programming with memoization and negation

Software of Computer, Telecommunications and Control Systems
Moiseenko E.A. Podkopaev A.V.
  • Year: 2018
  • Volume: 11
  • Issue: 2
  • 17
  • 7616
  • Pages: 35-46