- 5 resultaten
laagste prijs: € 6,70, hoogste prijs: € 139,09, gemiddelde prijs: € 106,06
1
Embedded Systems Design Based on Formal Models of Computation
bestellen
bij Dodax.de
€ 134,18
verzending: € 0,001
bestellenGesponsorde link

Embedded Systems Design Based on Formal Models of Computation - nieuw boek

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… Meer...

Nr. 10 black & white tables. Verzendingskosten:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
bestellen
bij Springer.com
€ 139,09
verzending: € 0,001
bestellenGesponsorde link

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - gebonden uitgave, pocketboek

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… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
bestellen
bij Achtung-Buecher.de
€ 111,22
verzending: € 0,001
bestellenGesponsorde link
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - gebonden uitgave, pocketboek

2011

ISBN: 9400715935

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

Verzendingskosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
bestellen
bij AbeBooks.de
CHF 6,48
(ongeveer € 6,70)
verzending: € 8,621
bestellenGesponsorde link
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - gebonden uitgave, pocketboek

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… Meer...

NOT NEW BOOK. Verzendingskosten: EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
bestellen
bij lehmanns.de
€ 139,09
verzending: € 0,001
bestellenGesponsorde link
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - gebonden uitgave, pocketboek

2011, ISBN: 9789400715936

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

Verzendingskosten:sofort lieferbar. (EUR 0.00)

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Embedded Systems Design Based on Formal Models of Computation

"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.

Gedetalleerde informatie over het boek. - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Gebonden uitgave
Verschijningsjaar: 2011
Uitgever: Springer
183 Bladzijden
Gewicht: 0,435 kg
Taal: Englisch

Boek bevindt zich in het datenbestand sinds 2008-07-03T22:22:07+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-10T21:32:36+02:00 (Amsterdam)
ISBN/EAN: 9400715935

ISBN - alternatieve schrijfwijzen:
94-007-1593-5, 978-94-007-1593-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: rado, zoran
Titel van het boek: models, design embedded systems


Gegevens van de uitgever

Auteur: Ivan Radojevic
Titel: Embedded Systems Design Based on Formal Models of Computation
Uitgeverij: Springer; Springer Netherland
183 Bladzijden
Verschijningsjaar: 2011-06-17
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
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. 

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)


< naar Archief...