A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Algoritmer og datastrukturer
  5. Programmeringssprog og scriptsprog
  6. Dataarkitektur og logisk design
  7. A Pipelined Multi-core MIPS Machine: Hardware Implementation...

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof

(Bog, Paperback / softback, Engelsk)
Forfattere: Mikhail Kovalev, Silvia M. Muller, Wolfgang J. Paul
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Algoritmer og datastrukturer Dataarkitektur og logisk design Programmeringssprog og scriptsprog
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Mikhail Kovalev, Silvia M. Muller, Wolfgang J. Paul
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2014 ed.
Udgivelsesdato 01-12-2014
Første udgivelsesår 2014
Serie Theoretical Computer Science and General Issues
Illustrationer 147 Illustrations, black and white; XII, 352 p. 147 illus.
Originalsprog Switzerland
Sideantal 352
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 352 pages, 147 Illustrations, black and white; XII, 352 p. 147 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319139050