НТВ Информатика. Телекоммуникации. Управление
Научно-технические ведомости СПбГПУ. Информатика.Телекоммуникации.Управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2304-9766
ISSN online 2618-8694
ru Русский
Версия для слабовидящих
Автор Вафеядис Виктор
Подать статью
График выхода журналов
  • №4 Декабрь 2019
    Статьи принимаются до: 10 Ноября 2019
  • №1 Март 2020
    Статьи принимаются до: 10 Февраля 2020
  • №2 Июнь 2020
    Статьи принимаются до: 10 Мая 2020
Последние выпуски
Вафеядис Виктор
  • Место работы
    Институт имени Макса Планка: Программные системы
  • Кайзерслаутерн, Германия

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

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