|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
| 1. |
A. V. Podkopaev, O. Lahav, V. Vafeiadis, “On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:4 (2017), 51–69  |
| 2. |
А. В. Подкопаев, О. Лахав, В. Вафеядис, “Обещающая компиляция в ARMv8.3”, Труды ИСП РАН, 29:5 (2017), 149–164  |
1
|
|
