Isbn: 9783030432423 - a pipelined multi-core machine with operating system support: hardware implementation and correctness proof (theoretical computer science and general issues, band 9999) (5 Ergebnisse)

Zustand: New. In English.

Zustand: New.

Paperback. Zustand: Brand New. 644 pages. 9.25x6.10x1.46 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This work is building on results from the book named 'A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness' by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014.It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features:- MIPS instruction set architecture (ISA) for application and for system programming- cache coherent memory system- store buffers in front of the data caches- interrupts and exceptions- memory management units (MMUs)- pipelined processors: the classical five-stage pipeline is extended by two pipelinestages for address translation- local interrupt controller (ICs) supporting inter-processor interrupts (IPIs)- I/O-interrupt controller and a disk. …

Taschenbuch. Zustand: Neu. A Pipelined Multi-Core Machine with Operating System Support | Hardware Implementation and Correctness Proof | Petro Lutsyk (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2020 | Springer | EAN 9783030432423 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …