Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Pipelined Multi-core MIPS Machine

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

Hardware Implementation and Correctness Proof

Silvia Melitta Muller

Wolfgang J. Paul

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09090222

Nakladatelství Springer International Publishing AG, prosinec 2014

This monograph is based on the third author's lectures on computer architecture, given in the summer... Celý popis

Libristo kód: 09090222

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

UNA PALABRA DE CONSUELO GUITARE ANNETTE KRUISBRINK Kniha

binding.

463 Kč

Cartas a un esceptico en materia de religion Don Jaime Balmes

Pevná

772 Kč

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

Brožovaná

180 Kč

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

Brožovaná

315 Kč

Atelier of Witch Hat 01 Kamome Shirahama

Brožovaná

157 Kč

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

Brožovaná

870 Kč

Vieux Chateaux Et Vieilles Abbayes de Savoie Belly-A

Brožovaná

315 Kč

Management-Kybernetik Marco Feiten

Brožovaná

1 210 Kč

Antoine Laurent Lavoisier Ferenc Szabadvary

Brožovaná

1 654 Kč

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

Brožovaná

1 076 Kč

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.