Информатика, телекоммуникации и управление
    Информатика, телекоммуникации и управлениеCанкт-Петербургский политехнический университет Петра Великого
    Издается с 2008
    ISSN 2687-0517
    ruРусский
    Версия для слабовидящих
    АвторЛахав Ори
    Подать статью
    График выхода изданий
    • №4 Декабрь 2026
    • №1 Март 2027
    • №2 Июнь 2027
    Последние выпуски
    Лахав Ори
    Лахав Ори
    Место работы
    Тель-Авивский университет
    Тель-Авив, Израиль

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

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