Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

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: 51.42 EUR
Availability: InStock
Author: Mohamed Abdel Maksoud
ISBN: 9783639024685

Mohamed Abdel Maksoud

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 06812272

Uitgeverij VDM Verlag Dr. Mueller E.K., juni 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Volledige beschrijving

Libristo-code: 06812272

125 b

51.42 €

In extern magazijn Wordt binnen 9-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

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

Gebonden (paperback)

43.53 €

Tik tak bum

Spel

19.19 €

WAKE SWEET MUSE JONATHAN CHENETTE Drukwerk

Bladmuziek

6.05 €

Zwei weitere Winter Patrick Salmen

Gebonden (harde band)

12.62 €

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

Gebonden (paperback)

27.98 €

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

Gebonden (paperback)

13.63 €

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

Kalender

19.59 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

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

Auteur Mohamed Abdel Maksoud

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2008

Aantal pagina's 108

EAN 9783639024685

ISBN 3639024680

Libristo-code 06812272

Uitgeverij VDM Verlag Dr. Mueller E.K.

Gewicht 154

Afmetingen 152 x 229 x 6

Categorieën

Informatica en informatietechnologie > Informatica: algemene onderwerpen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger