An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org (May 16, 2017), p. n/a
1. Verfasser:	Zhang, Sizhuo
Weitere Verfasser:	Vijayaraghavan, Muralidaran, Arvind
Veröffentlicht:	Cornell University Library, arXiv.org
Schlagworte:	Program verification (computers) Compilers Microprocessors Buffers Computer architecture Computer memory
Online-Zugang:	Citation/Abstract Full text outside of ProQuest
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!