TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Operating systems review 2017-04, Vol.51 (2), p.119-133
Hauptverfasser:	Trippel, Caroline, Manerkar, Yatin A., Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!