Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

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

Mohamed Abdel Maksoud

Език

Английски език

Книга С меки корици

Код Либристо: 06812272

Издателство VDM Verlag Dr. Mueller E.K., юни 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Цялото описание

Код Либристо: 06812272

125 b

51.46 €

100.64 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

43.60 € 85.27 лв

Tik tak bum

Игра

20.22 € 39.54 лв

WAKE SWEET MUSE JONATHAN CHENETTE Печатни материали

Ноти

6.41 € 12.53 лв

Zwei weitere Winter Patrick Salmen

С твърди корици

13.34 € 26.09 лв

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

С меки корици

29.53 € 57.75 лв

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

С меки корици

13.70 € 26.80 лв

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

Календар

20.74 € 40.55 лв

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.