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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 43.49 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

106 b

43.49 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Kalender

21.99 €

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

Broschur

24.59 €

Atypische medizinische Fallserien: Differenzialdiagnose Letícia S. P. Peçanha

Broschur

39.90 €

Molang - Tome 1 - Rires en plein air Goroglin

Hardcover

11.79 €

Pod slnkom Turína Ivana Dobrakovová

Hardcover

9.29 €

WAKE SWEET MUSE JONATHAN CHENETTE Drucksachen

Noten

4.69 €

PETIT CHAPERON ROUGE Heather Amery

Broschur

5.79 €

Tik tak bum

Spiel

16.89 €

Russisches Roulette Horst Teltschik

Broschur

16.95 €

Zwei weitere Winter Patrick Salmen

Hardcover

13.90 €

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

Broschur

11.49 €

CYNARATERAPIA: ALCACHOFA Y ALCACHOFERA. EN DIETOTERAPIA MARC AMS

Broschur

30.19 €

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

Broschur

33.99 €

Die Ehe in dogmatischer, moralischer und sozialer Beziehung Bernhard Rive

Broschur

44.90 €

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