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...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Sans frais d'envoi en Allemagne. (EUR 0.00) Details... |
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...
Amazon.de (Intern... |
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...
Amazon.de (Intern... Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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...
Amazon.de (Intern... Verzendingskosten:Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) Details... |
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...
booklooker.de |
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...
Nicolescu, G.:
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components - pocketboek2010, 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...
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...
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...
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...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789048113811 Global Specification and Validation of Embedded Systems (Nicolescu, G.; Jerraya, Ahmed A.)
- 9789048113811 Global Specification and Validation of Embedded Systems (Nicolescu, G.; Jerraya, Ahmed A.)
- 9781402061530 Global Specification and Validation of Embedded Systems (G. Nicolescu; Ahmed A. Jerraya)
- 9781402061516 Global Specification and Validation of Embedded Systems by G. Nicolescu Hardcover | Indigo Chapters (G. Nicolescu; Ahmed A. Jerraya)
- [(Global Specification and Validation of Embedded Systems : Integrating Heterogeneous Components)] [By (author) Gabriela Nicolescu ] published on (November, 2010) (Gabriela Nicolescu)
< naar Archief...