Electronic Documents Search

Documents found: 1

1

О корректности компиляции подмножества обещающей модели памяти в аксиоматическую модель ARMv8.3 // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2017. – Т. 10, № 4

Creators	Подкопаев Антон Викторович; Лахав Ори; Вафеядис Виктор
Organization	Санкт-Петербургский государственный университет телекоммуникаций имени профессора М. А. Бонч-Бруевича; Тель-Авивский университет; Институт имени Макса Планка
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2017
Collection	Общая коллекция
Subjects	Вычислительная техника; Языки программирования; корректность компиляции; аксиоматические модели; модели памяти (вычислительная техника); семантика; многопоточные программы; compilation correctness; axiomatic models; memory models (computer engineering); semantics; multithreaded programs
UDC	004.43
LBC	32.973-018.1
Document type	Article, report
File type	Other
Language	Russian
DOI	10.18721/JCSTCS.10405
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 1.1 Mb

1