- 5 Ergebnisse
Kleinster Preis: € 6,70, größter Preis: € 139,09, Mittelwert: € 106,06
1
Embedded Systems Design Based on Formal Models of Computation
Bestellen
bei Dodax.de
€ 134,18
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Embedded Systems Design Based on Formal Models of Computation - neues Buch

ISBN: 9789400715936

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combinin… Mehr…

Nr. 10 black & white tables. Versandkosten:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
zuklappen (X)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Bestellen
bei Springer.com
€ 139,09
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

ISBN: 9789400715936

"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combinin… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
zuklappen (X)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

2011

ISBN: 9400715935

2011 Gebundene Ausgabe Technik / Allgemeines, Einführung, Lexikon, Ingenieurswesen, Maschinenbau allgemein, ComputationModels; embeddedsystems; finitestatemachines; SystemLevelDesign; S… Mehr…

Versandkosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
Bestellen
bei AbeBooks.de
CHF 6,48
(ca. € 6,70)
Versand: € 8,621
Bestellen
Details beim Anbieter
gesponserter Link
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

2011, ISBN: 9400715935

[EAN: 9789400715936], Gebraucht, guter Zustand, [PU: Springer Netherland], SYSTEMC,EMBEDDED SYSTEMS,SYSTEM LEVEL DESIGN,FINITE STATE MACHINES,COMPUTATION MODELS,, Gepflegter, sauberer Zus… Mehr…

NOT NEW BOOK. Versandkosten: EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
zuklappen (X)
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Bestellen
bei lehmanns.de
€ 139,09
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - gebunden oder broschiert

2011, ISBN: 9789400715936

Buch, Hardcover, [PU: Springer], Springer, 2011

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Embedded Systems Design Based on Formal Models of Computation
Autor:
Titel:
ISBN-Nummer:

9400715935


"Models of Computation for Heterogeneous Embedded Systems" presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG). FSMs are connected in the same way as in Argos (a Statecharts variant with purely synchronous semantics) using three operators: synchronous parallel, refinement and hiding. The fourth operator, called asynchronous parallel, is introduced in DFCharts to connect FSMs with SDFGs. In the formal semantics of DFCharts, the operation of an SDFG is represented as an FSM. Using this representation, SDFGs are merged with FSMs so that the behaviour of a complete DFCharts specification can be expressed as a single, flat FSM. This allows system properties to be verified globally. The practical application of DFCharts has been demonstrated by linking it to widely used system-level languages Java, Esterel and SystemC.

Detailangaben zum Buch - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Gebundene Ausgabe
Erscheinungsjahr: 2011
Herausgeber: Springer
183 Seiten
Gewicht: 0,435 kg
Sprache: Englisch

Buch in der Datenbank seit 2008-07-03T22:22:07+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-10T21:32:36+02:00 (Berlin)
ISBN/EAN: 9400715935

ISBN - alternative Schreibweisen:
94-007-1593-5, 978-94-007-1593-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: rado, zoran
Titel des Buches: models, design embedded systems

Daten vom Verlag:

Autor/in: Ivan Radojevic
Titel: Embedded Systems Design Based on Formal Models of Computation
Verlag: Springer; Springer Netherland
183 Seiten
Erscheinungsjahr: 2011-06-17
Dordrecht; NL
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
109,99 € (DE)

BB; Hardcover, Softcover / Technik; Ingenieurswesen, Maschinenbau allgemein; Verstehen; Computation Models; Embedded Systems; Finite State Machines; System Level Design; SystemC; Technology and Engineering; Special Purpose and Application-Based Systems; Wissensbasierte Systeme, Expertensysteme; EA; BC

One of the key problems in modern embedded systems design is the productivity gap. While the performance of computing architectures has been rapidly increasing in the past few decades, design tools have not kept pace. As a result, it is becoming increasingly difficult for embedded systems designers to handle complex applications. An obvious solution is to raise the abstraction level of design tools and at the same time enable automatic synthesis from high level specifications.  This leads to a demand for a formal model of computation, which sets the rules for communication among concurrent processes comprising the system. Since there is a lack of suitable models of computation for heterogeneous embedded systems containing both control-driven and data-driven behaviors, this book attempts to fill that gap with a new design methodology.  At the heart of the methodology lies a model called DFCharts.  A complete design flow is covered, from a system specification in a formal language to an implementation on a multiprocessor architecture. The methodology is demonstrated with a practical heterogeneous embedded system applied in power systems monitoring. In addition, suggestions are provided as to how DFCharts-based modeling can be used to improve design with two popular system level languages, SystemC and Esterel. Throughout the book, examples are provided to illustrate main concepts. The reader is not required to have a deep understanding of models of computation. Only basic familiarity is assumed. 

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)

< zum Archiv...