Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Embedded Systems and Software Validation

Abhik Roychoudhury

Език

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

Книга С твърди корици

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

Издателство MORGAN KAUFMANN, юли 2009

Modern embedded systems require high performance, low cost and low power consumption. Such systems t... Цялото описание

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

212 b

87.66 €

171.44 лв

Налично при издателя, по поръчка Изпращаме след 28-34 дни

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

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

Lijepa naša Hrvatska, hrvatski jezik Andre Mohorovičić

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

45.40 € 88.80 лв

Loose-Leaf for Matching Supply with Demand Cachon Книга

Със спирала

234.78 € 459.19 лв

Štátny vzdelávací program pre predprimárne vzdelávanie v MŠ autorov Kolektív

С меки корици

9.55 € 18.68 лв

Habiter le point de fixation Milne Книга

С меки корици

25.10 € 49.09 лв

BATMAN/SUPERMAN NUM. 09 WILLIAMSON

С меки корици

4.95 € 9.69 лв

It Won't Always Be Like This Inhaler

Аудио компактдиск

12.86 € 25.15 лв

LE TRAMEDITERRANEEN JEAN-CLAUDE

С меки корици

22.72 € 44.44 лв

Fantastisch 1re - livre de l'élève

С меки корици

37.08 € 72.53 лв

In die Berge ! Alfred Büllesbach

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

23.65 € 46.26 лв

Wie entstehen Tugenden und Laster? Radulfus Ardens

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

66.58 € 130.22 лв

Si puedes volar, por qué gatear BERNABE TIERNO

С меки корици

19.62 € 38.38 лв

Foederative Architektur Bernhard Schmidt

С меки корици

33.11 € 64.75 лв

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal. It covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level. This book: integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows; and, includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified?