- 5 resultados
menor preço: € 6,70, preço mais alto: € 139,09, preço médio: € 106,06
1
Embedded Systems Design Based on Formal Models of Computation
Encomendar
no/na Dodax.de
€ 134,18
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado

Embedded Systems Design Based on Formal Models of Computation - novo 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… mais…

Nr. 10 black & white tables. Custos de envio:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00)
fechar(X)
2
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Encomendar
no/na Springer.com
€ 139,09
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado

Ivan Radojevic; Zoran Salcic:

Embedded Systems Design Based on Formal Models of Computation - encadernado, livro de bolso

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

new in stock. Custos de envio:zzgl. Versandkosten. (EUR 0.00)
fechar(X)
3
Embedded Systems Design Based on Formal Models of Computation - Salcic, Zoran; Radojevic, Ivan
Encomendar
no/na Achtung-Buecher.de
€ 111,22
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Salcic, Zoran; Radojevic, Ivan:
Embedded Systems Design Based on Formal Models of Computation - encadernado, livro de bolso

2011

ISBN: 9400715935

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

Custos de envio:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fechar(X)
4
Embedded Systems Design Based on Formal Models of Computation - Radojevic, Ivan und Zoran Salcic
Encomendar
no/na AbeBooks.de
CHF 6,48
(aproximadamente € 6,70)
Envio: € 8,621
Encomendar
Detalhes fornecedor
Link patrocinado
Radojevic, Ivan und Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - encadernado, livro de bolso

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

NOT NEW BOOK. Custos de envio: EUR 8.62 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fechar(X)
5
Embedded Systems Design Based on Formal Models of Computation - Ivan Radojevic; Zoran Salcic
Encomendar
no/na lehmanns.de
€ 139,09
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado
Ivan Radojevic; Zoran Salcic:
Embedded Systems Design Based on Formal Models of Computation - encadernado, livro de bolso

2011, ISBN: 9789400715936

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

Custos de envio:sofort lieferbar. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Embedded Systems Design Based on Formal Models of Computation
Autor:
Título:
Número ISBN:

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.

Dados detalhados do livro - Embedded Systems Design Based on Formal Models of Computation


EAN (ISBN-13): 9789400715936
ISBN (ISBN-10): 9400715935
Livro de capa dura
Ano de publicação: 2011
Editor/Editora: Springer
183 Páginas
Peso: 0,435 kg
Língua: Englisch

Livro na base de dados desde 2008-07-03T21:22:07+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-10-10T20:32:36+01:00 (Lisbon)
Número ISBN/EAN: 9400715935

Número ISBN - Ortografia alternativa:
94-007-1593-5, 978-94-007-1593-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: rado, zoran
Título do livro: models, design embedded systems

Dados da editora

Autor: Ivan Radojevic
Título: Embedded Systems Design Based on Formal Models of Computation
Editora: Springer; Springer Netherland
183 Páginas
Ano de publicação: 2011-06-17
Dordrecht; NL
Impresso / Feito em
Língua: Inglês
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. 

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783854209850 Journal der Bilder und Einbildungen (Helwig Brunner)

< Para arquivar...