Old Web
English
Sign In
Acemap
>
Paper
>
A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
2020
Petro Lutsyk
Jonas Oberhauser
Wolfgang J. Paul
Keywords:
correctness proofs
Multi-core processor
Computer hardware
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]