Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
ru Русский
Версия для слабовидящих
Автор Вафеядис Виктор
Подать статью
График выхода изданий
  • №3 Сентябрь 2025
  • №4 Декабрь 2025
Последние выпуски
Вафеядис Виктор
  • Место работы
    Институт имени Макса Планка: Программные системы
  • Кайзерслаутерн, Германия

О корректности компиляции подмножествa обещающей модели памяти в аксиоматическую модель ARMv8.3

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Подкопаев А.В. Лахав О. Вафеядис В.
  • Год: 2017
  • Том: 10
  • Выпуск: 4
  • 36
  • 7146
  • Страницы: 51-69