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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Embedded Systems and Software Validation

Abhik Roychoudhury

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04020856

Verlag MORGAN KAUFMANN, Juli 2009

Modern embedded systems require high performance, low cost and low power consumption. Such systems t... Vollständige Beschreibung

Libristo-Code: 04020856

201 b

82.99 €

Beim Verlag auf Bestellung Wir versenden in 28-34 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Hardcover

42.50 €

Loose-Leaf for Matching Supply with Demand Cachon Buch

Ring

224.85 €

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

Broschur

9.68 €

Habiter le point de fixation Milne Buch

Broschur

24.02 €

BATMAN/SUPERMAN NUM. 09 WILLIAMSON

Broschur

4.74 €

It Won't Always Be Like This Inhaler

Audio CD

12.21 €

LE TRAMEDITERRANEEN JEAN-CLAUDE

Broschur

21.70 €

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

Broschur

35.43 €

In die Berge ! Alfred Büllesbach

Hardcover

22.30 €

Wie entstehen Tugenden und Laster? Radulfus Ardens

Hardcover

63.40 €

Si puedes volar, por qué gatear BERNABE TIERNO

Broschur

18.77 €

Foederative Architektur Bernhard Schmidt

Broschur

31.19 €

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?

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 Embedded Systems and Software Validation

Autor Abhik Roychoudhury

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2009

Anzahl der Seiten 272

EAN 9780123742308

ISBN 0123742307

Libristo-Code 04020856

Verlag MORGAN KAUFMANN

Gewicht 744

Abmessungen 198 x 244 x 24

Kategorie

EDV und Informationstechnologie > Computerhardware > Mainframes und Minicomputer

EDV und Informationstechnologie > Informatik

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