- 5 Résultats
prix le plus bas: € 6,70, prix le plus élevé: € 139,09, prix moyen: € 106,06
1
Embedded Systems Design Based on Formal Models of Computation
Commander
sur Dodax.de
€ 134,18
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Embedded Systems Design Based on Formal Models of Computation - nouveau livre

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… Plus…

Nr. 10 black & white tables. Frais d'envoi, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
fermer(X)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Commander
sur Springer.com
€ 139,09
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - edition reliée, livre de poche

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… Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
Commander
sur Achtung-Buecher.de
€ 111,22
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - edition reliée, livre de poche

2011

ISBN: 9400715935

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

Frais d'envoiNo shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
Commander
sur AbeBooks.de
CHF 6,48
(environ € 6,70)
Envoi: € 8,621
Commander
Détails du fournisseur
Lien sponsorisé
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - edition reliée, livre de poche

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… Plus…

NOT NEW BOOK. Frais d'envoi EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Commander
sur lehmanns.de
€ 139,09
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - edition reliée, livre de poche

2011, ISBN: 9789400715936

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

Frais d'envoisofort lieferbar. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Embedded Systems Design Based on Formal Models of Computation
Auteur:
Titre:
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 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.

Informations détaillées sur le livre - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Version reliée
Date de parution: 2011
Editeur: Springer
183 Pages
Poids: 0,435 kg
Langue: Englisch

Livre dans la base de données depuis 2008-07-03T22:22:07+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-10-10T21:32:36+02:00 (Paris)
ISBN/EAN: 9789400715936

ISBN - Autres types d'écriture:
94-007-1593-5, 978-94-007-1593-6
Autres types d'écriture et termes associés:
Auteur du livre: rado, zoran
Titre du livre: models, design embedded systems

Données de l'éditeur

Auteur: Ivan Radojevic
Titre: Embedded Systems Design Based on Formal Models of Computation
Editeur: Springer; Springer Netherland
183 Pages
Date de parution: 2011-06-17
Dordrecht; NL
Imprimé / Fabriqué en
Langue: Anglais
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. 

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)

< pour archiver...