- 5 Risultati
prezzo più basso: € 6,70, prezzo più alto: € 139,09, prezzo medio: € 106,06
1
Embedded Systems Design Based on Formal Models of Computation
Ordina
da Dodax.de
€ 134,18
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Embedded Systems Design Based on Formal Models of Computation - nuovo libro

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

Nr. 10 black & white tables. Costi di spedizione:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
Chiudere (X)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Ordina
da Springer.com
€ 139,09
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - copertina rigida, flessible

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

new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00)
Chiudere (X)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
Ordina
da Achtung-Buecher.de
€ 111,22
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - copertina rigida, flessible

2011

ISBN: 9400715935

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

Costi di spedizione:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
Ordina
da AbeBooks.de
CHF 6,48
(indicativi € 6,70)
Spedizione: € 8,621
Ordina
Dettagli del offerente
Link sponsorizzato
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - copertina rigida, flessible

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

NOT NEW BOOK. Costi di spedizione: EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
Chiudere (X)
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Ordina
da lehmanns.de
€ 139,09
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - copertina rigida, flessible

2011, ISBN: 9789400715936

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

Costi di spedizione:sofort lieferbar. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Embedded Systems Design Based on Formal Models of Computation
Autore:
Titolo:
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.

Informazioni dettagliate del libro - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Copertina rigida
Anno di pubblicazione: 2011
Editore: Springer
183 Pagine
Peso: 0,435 kg
Lingua: Englisch

Libro nella banca dati dal 2008-07-03T22:22:07+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-10T21:32:36+02:00 (Zurich)
ISBN/EAN: 9789400715936

ISBN - Stili di scrittura alternativi:
94-007-1593-5, 978-94-007-1593-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : rado, zoran
Titolo del libro: models, design embedded systems

Dati dell'editore

Autore: Ivan Radojevic
Titolo: Embedded Systems Design Based on Formal Models of Computation
Editore: Springer; Springer Netherland
183 Pagine
Anno di pubblicazione: 2011-06-17
Dordrecht; NL
Stampato / Fatto in
Lingua: Inglese
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. 

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)

< Per archiviare...