- 5 resultaten
laagste prijs: € 99,45, hoogste prijs: € 124,73, gemiddelde prijs: € 110,25
1
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components - Jerraya, Ahmed A.; Nicolescu, G.
bestellen
bij Achtung-Buecher.de
€ 124,73
verzending: € 0,001
bestellenGesponsorde link
Jerraya, Ahmed A.; Nicolescu, G.:

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components - pocketboek

2010, ISBN: 904817550X

gebonden uitgave

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Computer-Aided Design (CAD), Theoretische Informatik, Computermodellierung und -simulation, Wissensbasierte Systeme, … Meer...

Verzendingskosten:Sans frais d'envoi en Allemagne. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - Nicolescu, G.
bestellen
bij Amazon.de (Intern. Bücher)
€ 114,48
verzending: € 0,001
bestellenGesponsorde link

Nicolescu, G.:

Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - pocketboek

2010, ISBN: 9789048175505

Mitwirkende: Jerraya, Ahmed A. Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 160 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.52 kg, CAD… Meer...

Verzendingskosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
3
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - Nicolescu, G.
bestellen
bij Amazon.de (Intern. Bücher)
€ 101,09
verzending: € 3,001
bestellenGesponsorde link
Nicolescu, G.:
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - pocketboek

2010

ISBN: 9789048175505

Mitwirkende: Jerraya, Ahmed A. Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 160 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.52 kg, CAD… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
4
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - Nicolescu, G.
bestellen
bij Amazon.de (Intern. Bücher)
€ 111,50
verzending: € 3,001
bestellenGesponsorde link
Nicolescu, G.:
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - pocketboek

2010, ISBN: 9789048175505

Mitwirkende: Jerraya, Ahmed A. Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 160 Seiten, Publiziert: 2010-10-19T00:00:01Z, Produktgruppe: Buch, 0.52 kg, CAD… Meer...

Verzendingskosten:Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00)
5
Global Specification and Validation of Embedded Systems - G. Nicolescu Ahmed A. Jerraya
bestellen
bij booklooker.de
€ 99,45
bestellenGesponsorde link
G. Nicolescu Ahmed A. Jerraya:
Global Specification and Validation of Embedded Systems - eerste uitgave

2010, ISBN: 9789048175505

pocketboek

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Offers a deep understanding of … Meer...

Verzendingskosten:Plus frais d'envoi., exclusief verzendingskosten Moluna GmbH

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
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

This book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.

Gedetalleerde informatie over het boek. - Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components


EAN (ISBN-13): 9789048175505
ISBN (ISBN-10): 904817550X
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
160 Bladzijden
Gewicht: 0,252 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-07-18T14:36:06+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-21T07:40:52+02:00 (Amsterdam)
ISBN/EAN: 9789048175505

ISBN - alternatieve schrijfwijzen:
90-481-7550-X, 978-90-481-7550-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: nicolescu, nicole
Titel van het boek: validation


Gegevens van de uitgever

Auteur: G. Nicolescu; Ahmed A. Jerraya
Titel: Global Specification and Validation of Embedded Systems - Integrating Heterogeneous Components
Uitgeverij: Springer; Springer Netherland
148 Bladzijden
Verschijningsjaar: 2010-10-19
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XII, 148 p.

BC; Circuits and Systems; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; Computation and execution models; Embedded computing systems; Hardware; Heterogeneous component interfaces; Heterogeneous systems; Simulation; Validation; architecture; integrated circuit; model; modeling; operating system; organization; simulation model; system modeling; Theory of Computation; Computer-Aided Engineering (CAD, CAE) and Design; Simulation and Modeling; Special Purpose and Application-Based Systems; Electronic Circuits and Systems; Theory of Computation; Computer-Aided Engineering (CAD, CAE) and Design; Computer Modelling; Special Purpose and Application-Based Systems; Theoretische Informatik; Computer-Aided Design (CAD); Computermodellierung und -simulation; Wissensbasierte Systeme, Expertensysteme; BB

List of Figures. List of Tables. CHAPTER 1. INTRODUCTION; G.Nicolescu and A.A.Jerraya. CHAPTER 2. HETEROGENEOUS SYSTEMS MODELING: BASIC CONCEPTS; L.Kriaa. 2.1. introduction. 2.2. basic concepts for specification of heterogeneous systems. 2.3. computation model vs. execution model. 2.4. computation model. 2.5. computation model of interconnection. 2.6. computation model for heterogeneous systems. 2.7. conclusion. References. CHAPTER 3. EXECUTION MODELS; L.Kriaa. 3.1. introduction. 3.2. execution model of a system. 3.3. execution model of system interconnection. 3.4. classification of current interconnection execution models. 3.5. conclusion. References. CHAPTER 4. HETEROGENEOUS SYSTEMS VALIDATION BASED ON EXECUTION MODELS; G.Nicolescu and A.A.Jerraya. 4.1. introduction. 4.2. global execution of heterogeneous systems – basics. 4.3. required characteristics for global execution models of heterogeneous systems. 4.4. state of the art on heterogeneous systems validation. 4.5. conclusion. References. CHAPTER 5. ANATOMY OF A HARDWARE/SOFTWARE EXECUTION MODEL IN HETEROGENEOUS SYSTEMS; G.Nicolescu and A.A.Jerraya. 5.1. introduction. 5.2. validation of software components. 5.3. the organization of operating systems. 5.4. native simulation model for OS final code validation. 5.5. automatic generation of OS simulation models. 5.6. application of the OS simulation model. 5.7. conclusion. References. CHAPTER 6. ANATOMY OF A CONTINUOUS/DISCRETE SYSTEM EXECUTION MODEL FOR TIMED EXECUTION OF HETEROGENEOUS SYSTEMS; F.Bouchhima, et al.. 6.1. introduction. 6.2. continuous simulation model vs. discrete simulation model. 6.3. time distribution approaches. 6.4. time distribution model involved in continuous/discrete execution model. 6.5. global execution of heterogeneous continuous/discrete systems. 6.6. implementing the global execution model. 6.7. CODIS aco-simulation tool for continuous/discrete systems. 6.8. experimentations. 6.9. conclusion. References. CHAPTER 7. METHODOLOGY FOR HETEROGENEOUS SYSTEMS VALIDATION; G.Nicolescu and A.A.Jerraya. 7.1. introduction. 7.2. flow for automatic generation of global execution models. 7.3. virtual architecture of an embedded system and global execution model. 7.4. automatic generation of execution models. 7.5. methodology illustration for validation of a complex heterogeneous system – an optical switch. 7.6. specification and validation for a multiprocessor system: the VDSL modem. 7.7. conclusion. References. Index.

< naar Archief...