A pipelined multi-core machine with operating system support hardware implementation and correctness proof

Bibliographische Detailangaben

1. Verfasser:	Lutsyk, Petro (VerfasserIn)
Weitere Verfasser:	Oberhauser, Jonas (VerfasserIn), Paul, Wolfgang J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 9999
Schlagworte:	Systemprogrammierung
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!