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 Vafeiadis Viktor
Submit Your Paper
Publication schedule
  • №2 June 2024
  • №3 September 2024
  • №4 December 2024
Latest issues
Vafeiadis Viktor
  • Affiliation
    Max Planck Institute for Software Systems
  • Kaiserslautern, Germany

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
  • 5488
  • Pages: 51-69