Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Pipelined Multi-core MIPS Machine

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

Hardware Implementation and Correctness Proof

Silvia Melitta Muller

Wolfgang J. Paul

Sprache

Englisch

Buch Broschur

Libristo-Code: 09090222

Verlag Springer International Publishing AG, Dezember 2014

This monograph is based on the third author's lectures on computer architecture, given in the summer... Vollständige Beschreibung

Libristo-Code: 09090222

118 b

48.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cartas a un esceptico en materia de religion Don Jaime Balmes

Hardcover

31.49 €

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

Buch

12.99 €

Kiss Me 5. El Legado KENNEDY

Broschur

20.99 €

UNA PALABRA DE CONSUELO GUITARE ANNETTE KRUISBRINK Buch

binding.

15.59 €

missioni di sorella Rosilde Rosilde Breschi

Broschur

9.79 €

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

Broschur

8.39 €

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

Broschur

12.19 €

Atelier of Witch Hat 01 Kamome Shirahama

Broschur

8.00 €

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

Broschur

30.59 €

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

Broschur

9.99 €

Vieux Chateaux Et Vieilles Abbayes de Savoie Belly-A

Broschur

11.59 €

Management-Kybernetik Marco Feiten

Broschur

49.00 €

Antoine Laurent Lavoisier Ferenc Szabadvary

Broschur

74.99 €

Drahtseilbahnen (Schwebebahnen) Paul Stephan

Broschur

49.99 €

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

Broschur

52.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Pipelined Multi-core MIPS Machine

Autor Silvia Melitta Muller, Wolfgang J. Paul

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 352

EAN 9783319139050

ISBN 3319139053

Libristo-Code 09090222

Verlag Springer International Publishing AG

Gewicht 5504

Abmessungen 155 x 235 x 235

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert