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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Name: Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06812272
Price: 53.39 EUR
Availability: InStock
Author: Mohamed Abdel Maksoud
ISBN: 9783639024685

Mohamed Abdel Maksoud

Sprache

Englisch

Buch Broschur

Libristo-Code: 06812272

Verlag VDM Verlag Dr. Mueller E.K., Juni 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Vollständige Beschreibung

Libristo-Code: 06812272

131 b

53.39 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Precis de Botanique Medicale, (Ed.1898) Trabut L

Broschur

45.19 €

Tik tak bum

Spiel

18.99 €

WAKE SWEET MUSE JONATHAN CHENETTE Drucksachen

Noten

6.29 €

Zwei weitere Winter Patrick Salmen

Hardcover

13.90 €

paradiso popolato da diavoli. La Sicilia negli occhi degli altri Antonino Cangemi

Broschur

29.19 €

Le Journal Des Debats Et Le Traite Du 15 Juillet SANS AUTEUR

Broschur

14.19 €

Papageitaucher Clowns der Meere (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Kalender

21.99 €

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e. abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler thatderives/generates pipeline analysis from an abstracted VHDL specification of the target microprocessor. This analysis is used in a commercial tool frame for deriving upper bound over executiontime of critical tasks. This book is useful for computer scientists and engineers concerned with computing timing analyses based on VHDL specification of the target hardware.

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 Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Autor Mohamed Abdel Maksoud

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 108

EAN 9783639024685

ISBN 3639024680

Libristo-Code 06812272

Verlag VDM Verlag Dr. Mueller E.K.

Gewicht 154

Abmessungen 152 x 229 x 6

Kategorie

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

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