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

Österreichische Post 5.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 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

177 b

72.19 € inkl. MwSt.

Beim Verlag auf Bestellung Wir versenden in 28-34 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

BATMAN/SUPERMAN NUM. 09 WILLIAMSON

Broschur

4.09 €

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

Hardcover

50.49 €

Can't Text This - Nehogy megírd! Teagan Hunter

Broschur

9.39 €

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

Broschur

9.49 €

Habiter le point de fixation Milne Buch

Broschur

20.69 €

El día que dejó de nevar en Alaska ALICE KELLEN

Broschur

15.69 €

It Won't Always Be Like This Inhaler

Audio CD

16.99 €

LE TRAMEDITERRANEEN JEAN-CLAUDE

Broschur

18.59 €

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

Broschur

30.99 €

La maison dont le chien est fou Mallet-Joris

Broschur

21.89 €

In die Berge ! Alfred Büllesbach

Hardcover

24.90 €

Wie entstehen Tugenden und Laster? Radulfus Ardens

Hardcover

60.00 €

Si puedes volar, por qué gatear BERNABE TIERNO

Broschur

18.19 €

Foederative Architektur Bernhard Schmidt

Broschur

34.99 €

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