Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran
- Format: Broché Voir le descriptif
158,85 €
Produit Neuf
Ou 39,71 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 14 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789401784153_dbm
Nos autres offres
-
152,10 €
Produit Neuf
Ou 38,03 € /mois
- Livraison : 3,99 €
- Livré entre le 28 août et le 3 septembre
Voir le détail de l'annonce -
158,85 €
Produit Neuf
Ou 39,71 € /mois
- Livraison à 0,01 €
- Livré entre le 28 août et le 14 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9789401784153_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Embedded Systems Design Based On Formal Models Of Computation Format Broché - Livre Informatique
0 avis sur Embedded Systems Design Based On Formal Models Of Computation Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Beyond Fantasy : The Art Of Darrell K. Sweet
Occasion dès 100,00 €
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 185,00 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
Remembering The Kanji Vol.I
Neuf dès 109,82 €
-
Hollywood Costume Design
Occasion dès 162,74 €
-
Andreas Gursky (Hardcover)
Occasion dès 217,99 €
-
Design For Motion
Neuf dès 104,46 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Postcolonial Literatures Of Climate Change
Neuf dès 223,08 €
-
Eva Hesse
Occasion dès 184,99 €
-
Inorganic Chemistry
Occasion dès 76,13 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Throne Of Glass Box Set (Paperback)
Neuf dès 86,00 €
Occasion dès 239,59 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
Cyanotype
Neuf dès 107,04 €
Produits similaires
Présentation Embedded Systems Design Based On Formal Models Of Computation Format Broché
- Livre Informatique
Résumé :
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.
Sommaire:
1. Introduction.- 2. Models of Computation and Languages.- 3. Specification in DFCharts.- 4. Semantics of DFCharts.- 5. DFCharts in SystemC and Esterel.- 6. Java Environment for DFCharts.- 7. Heterogeneous Reactive Architectures of Embedded Systems.- 8. Implementation of DFCharts on HiDRA.- 9. Conclusions.- 10. References.
Détails de conformité du produit
Personne responsable dans l'UE