Подкопаев, Антон Викторович. О корректности компиляции подмножества обещающей модели памяти в аксиоматическую модель ARMv8.3 [Электронный ресурс] / А. В. Подкопаев, О. Лахав, В. Вафеядис. — Электрон. текстовые дан. (1 файл : 1,06 Мб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems: научное издание. – 2017. – Т. 10, № 4 [Электронный ресурс]. — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://doi.org/10.18721/JCSTCS.10405>. — <URL:http://elib.spbstu.ru/dl/2/j18-188.pdf>.
Period
|
Read
|
Print
|
Copy
|
Open
|
Total
|
Yesterday
|
0
|
0
|
0
|
0
|
0
|
Last 30 days
|
1
|
0
|
3
|
0
|
4
|
Last 365 days
|
31
|
0
|
45
|
0
|
76
|
All time
|
170
|
0
|
171
|
0
|
341
|