Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Pipelined Multi-core MIPS Machine

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

Hardware Implementation and Correctness Proof

Silvia Melitta Muller

Wolfgang J. Paul

Limba

engleză

Carte Carte broșată

Codul Libristo: 09090222

Editura Springer International Publishing AG, decembrie 2014

This monograph is based on the third author's lectures on computer architecture, given in the summer... Descrierea completă

Codul Libristo: 09090222

132 b

284.42 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

UNA PALABRA DE CONSUELO GUITARE ANNETTE KRUISBRINK Carte

binding.

99.95 lei

Cartas a un esceptico en materia de religion Don Jaime Balmes

Copertă tare

176.37 lei

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

Carte broșată

48.62 lei

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

Carte broșată

74.96 lei

Atelier of Witch Hat 01 Kamome Shirahama

Carte broșată

38.46 lei

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

Carte broșată

187.88 lei

Vieux Chateaux Et Vieilles Abbayes de Savoie Belly-A

Carte broșată

74.96 lei

Management-Kybernetik Marco Feiten

Carte broșată

261.30 lei

Antoine Laurent Lavoisier Ferenc Szabadvary

Carte broșată

398.17 lei

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

Carte broșată

261.30 lei

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.