
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)
Boek voor het laatst gevonden 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
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XIV, 324 p.
BC; 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; 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; BB
Model-Based System Specification Languages.- Power and Energy Estimations in Model-Based Design.- MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.- Generation of MARTE Allocation Models from Activity Threads.- Model-Driven System Validation by Scenarios.- An Advanced Simulink Verification Flow Using SystemC.- Languages for Heterogeneous System Design.- VHDL–AMS Implementation of a Numerical Ballistic CNT Model.- Wide-Band Sigma–Delta ADC Design in Superconducting Technology.- Heterogeneous and Non-linear Modeling in SystemC–AMS.- Digital Systems Design Methodologies Based on C++.- Application Workload and SystemC Platform Modeling for Performance Evaluation.- Adaptive Interconnect Models for Transaction-Level Simulation.- Efficient Architecture Evaluation Using Functional Mapping.- Symbolic Scheduling of SystemC Dataflow Designs.- SystemC Simulation of Networked Embedded Systems.- Modeling of Embedded Software Multitasking in SystemC/OSSS.- High-Level Reconfiguration Modeling in SystemC.- Stream Programming for FPGAs.- Verification and Requirements Evaluation.- A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.- Debugging Contradictory Constraints in Constraint-Based Random Simulation.- Design of Communication Infrastructures for Reconfigurable Systems.- Analysis of Non-functional Properties of MPSoC Designs.Covers the latest up-to-date research results Gives overview of current research trends in the field Extended versions of the best-rated contributions to the no. 1 conference in the field Makes connection to applications in an industrial context Includes supplementary material: sn.pub/extras
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9781402098130 Languages for Embedded Systems and Their Applications
< naar Archief...