TY - BOOK AU - Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul. TI - A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof SN - 9783030432430 PY - 2020/// CY - Cham PB - Springer KW - Computer programming. Computer organization. Microprogramming . Input-output equipment (Computers). Artificial intelligence. Computer logic. Computers. Programming Techniques. Computer Systems Organization and Communication Networks. Control Structures and Microprogramming. Input/Output and Data Communications. Logic in AI. Theory of Computation UR - https://doi.org/10.1007/978-3-030-43243-0 ER -