Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Pipelined Multi-core MIPS Machine

Name: Pipelined Multi-core MIPS Machine
Brand: Springer International Publishing AG
SKU: 09090222
Price: 51.38 EUR
Availability: InStock
Author: Silvia Melitta Muller
ISBN: 9783319139050

Hardware Implementation and Correctness Proof

Silvia Melitta Muller

Wolfgang J. Paul

Language

English

Book Paperback

Libristo code: 09090222

Publishers Springer International Publishing AG, December 2014

This monograph is based on the third author's lectures on computer architecture, given in the summer... Full description

Libristo code: 09090222

125 b

51.38 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Cartas a un esceptico en materia de religion Don Jaime Balmes

Hardback

32.88 €

E pur si muove ! N.6- La marionette aujourd'hui collegium

Book

14.77 €

Kiss Me 5. El Legado KENNEDY

Paperback

24.73 €

UNA PALABRA DE CONSUELO GUITARE ANNETTE KRUISBRINK Book

binding.

17.79 €

missioni di sorella Rosilde Rosilde Breschi

Paperback

16.59 €

Mezi Čínou a Západem Vít Vojta

Paperback

10.05 €

de la Codification d'Apres Les Idees Antiques MAINE-H

Paperback

13.57 €

Atelier of Witch Hat 01 Kamome Shirahama

Paperback

6.93 €

Las aguas residuales en la arquitectura sostenible : medidas preventivas y técnicas de reciclaje Ignacio Javier Palma Carazo

Paperback

35.59 €

El Mundo del Petroleo: Origen, Usos y Escenarios Salvador Ortuno Arzate

Paperback

12.36 €

Vieux Chateaux Et Vieilles Abbayes de Savoie Belly-A

Paperback

13.27 €

Management-Kybernetik Marco Feiten

Paperback

49.47 €

Antoine Laurent Lavoisier Ferenc Szabadvary

Paperback

71.80 €

Drahtseilbahnen (Schwebebahnen) Paul Stephan

Paperback

47.96 €

Steht der Sportart Trampolinturnen in Deutschland ein Niedergang bevor? Yvonne Dietrich

Paperback

46.98 €

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. 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. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the future.§Constructions are in a gate level hardware model and thus deterministic. In contrast the reference models against which correctness is shown are nondeterministic. The development of the additional machinery for these proofs and the correctness proof of the shared memory at the gate level are the main technical contributions of this work.