
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL'08 - pocketboek
2010, ISBN: 9048181917
[EAN: 9789048181919], Neubuch, [SC: 0.0], [PU: Springer Netherlands], C++PROGRAMMINGLANGUAGE; DEBUGGING; EMBEDDEDSYSTEM; EMBEDDEDSYSTEMS; HARDWAREBESCHREIBUNGSSPRACHE; SIMULINK; SYSTEMC; … Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2010, ISBN: 9789048181919
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers the latest up-to-date re… Meer...
booklooker.de |

ISBN: 9789048181919
Paperback, [PU: Springer], The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the … Meer...
BookDepository.com Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9789048181919
Selected Contributions on Specification, Design, and Verification from FDL'08, Buch, Softcover, Softcover reprint of hardcover 1st ed. 2009, [PU: Springer], Springer, 2010
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2010, ISBN: 9789048181919
gebonden uitgave
Selected Contributions on Specification, Design, and Verification from FDL'08, Softcover reprint of hardcover 1st ed. 2009, Softcover, Buch, [PU: Springer]
lehmanns.de Verzendingskosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |


Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL'08 - pocketboek
2010, ISBN: 9048181917
[EAN: 9789048181919], Neubuch, [SC: 0.0], [PU: Springer Netherlands], C++PROGRAMMINGLANGUAGE; DEBUGGING; EMBEDDEDSYSTEM; EMBEDDEDSYSTEMS; HARDWAREBESCHREIBUNGSSPRACHE; SIMULINK; SYSTEMC; … Meer...

2010, ISBN: 9789048181919
pocketboek
[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Covers the latest up-to-date re… Meer...

ISBN: 9789048181919
Paperback, [PU: Springer], The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the … Meer...
2010, ISBN: 9789048181919
Selected Contributions on Specification, Design, and Verification from FDL'08, Buch, Softcover, Softcover reprint of hardcover 1st ed. 2009, [PU: Springer], Springer, 2010
2010, ISBN: 9789048181919
gebonden uitgave
Selected Contributions on Specification, Design, and Verification from FDL'08, Softcover reprint of hardcover 1st ed. 2009, Softcover, Buch, [PU: Springer]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Languages for Embedded Systems and their Applications
EAN (ISBN-13): 9789048181919
ISBN (ISBN-10): 9048181917
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
340 Bladzijden
Gewicht: 0,515 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-10-19T18:59:38+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-06-08T13:35:26+02:00 (Amsterdam)
ISBN/EAN: 9789048181919
ISBN - alternatieve schrijfwijzen:
90-481-8191-7, 978-90-481-8191-9
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: rade martin, radetzki
Titel van het boek: design embedded systems
Gegevens van de uitgever
Auteur: Martin Radetzki
Titel: Lecture Notes in Electrical Engineering; Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08
Uitgeverij: Springer; Springer Netherland
324 Bladzijden
Verschijningsjaar: 2010-10-28
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,522 kg
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XIV, 324 p.
BC; Circuits and Systems; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; C++ programming language; Debugging; Embedded System; Embedded Systems; Hardwarebeschreibungssprache; Scheduling; Simulink; SystemC; communication; constraint; model; modeling; programming; simulation; system; Programming Languages, Compilers, Interpreters; Electronics and Microelectronics, Instrumentation; Special Purpose and Application-Based Systems; System Performance and Evaluation; Simulation and Modeling; Electronic Circuits and Systems; Compilers and Interpreters; Electronics and Microelectronics, Instrumentation; Special Purpose and Application-Based Systems; System Performance and Evaluation; Computer Modelling; Compiler und Übersetzer; Elektronik; Wissensbasierte Systeme, Expertensysteme; Systemanalyse und -design; Computermodellierung und -simulation
Tentative TOC: Part I Model Based System Specification Languages 1 Refining power consumption estimations in the component based AADL design flow; E. Senn, J. Laurent, E. Juin, and J.-P. Diguet 2 MARTE vs. AADL for Discrete-Event and Discrete-Time Domains; Frédéric Mallet and Robert de Simone 3 Generation of MARTE Allocation Models from Activity Threads; Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, and Ulrich Nageldinger 4 Model-Driven System Validation by Scenarios; Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra 5 An Advanced Simulink Verification Flow Using SystemC; Kai Hylla, Jan-Hendrik Oetjens, and Wolfgang Nebel Part II Langugages for Heterogeneous System Design 6 VHDL-AMS Implementation of a Numerical Ballistic CNT Model; D. Zhou, T. Kazmierski, and B. Al-Hashimi 7 A Sigma-delta BandPass ADC modelling with VHDL-AMS; R. Guelaz, P. Desgreys, and P. Loumeau 8 SystemC-AMS modeling of an electromechanical harvester of vibration energy; K. Caluwaerts and D. Galayko Part III Digital Systems Design Methodologies based on C++ 9 Application Workload and SystemC Platform Modeling for Performance Evaluation; J. Kreku, M. Hoppari, T. Kestilä, Y. Qu, J.-P. Soininen, and K. Tiensyrjä 10 Adaptive Interconnect Models for Transaction-Level Simulation; Rauf Salimi Khaligh and Martin Radetzki 11 Enabling Automated Code Transformation and Variable Tracing; C. Kerstan, N. Bannow, and W. Rosenstiel 12 Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models; J. Gladigau, C. Haubelt, and J. Teich 13 ASystemC Framework for Simulating Networked Embedded Systems; F. Fummi, D. Quaglia, and F. Stefanni 14 Modelling of Embedded Software Multitasking in SystemC/OSSS; Philipp Reinkemeier, Henning Kleen, and Wolfgang Nebel 15 A SystemC Language Extension for Modelling Reconfigurable Systems; Andreas Raabe and Armin Felke 16 Stream Programming for FPGAs; Franjo Plavec, Zvonko Vranesic, and Stephen Brown Part IV Verification and Requirements Evaluation 17 Verification Technique for Custom-Designed Components at the Arithmetic Bit Level; E. Pavlenko, M. Wedler, D. Stoffel, W. Kunz, O. Wienand, and E. Karibaev 18 Debugging Contradictory Constraints in Constraint-based Random Simulation; Daniel Große, Robert Wille, Robert Siegmund, and Rolf Drechsler 19 Requirements-Driven Simulation Framework for Communication Infrastructure; A. Meroni, V. Rana, M. Santambrogio, and F. Bruschi 20 Integrated Requirements Evaluation of Non-Functional System-on-Chip Properties; A. Viehl, B. Sander, O. Bringmann, and W. RosenstielAndere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781402098130 Languages for Embedded Systems and Their Applications
< naar Archief...