Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2
143.14 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10438986
Beschreibung
Part I Applications of Formal Methods for Specification and Verification.- Optimal Component Selection for Energy-Efficient Systems.- Assisting Refinement in System-on-Chip Design.- Part II Embedded Analog and Mixed-Signal System Verification.- Integrating Circuit Analyses for Assertion-Based Verification of Programmable AMS Circuits.- Part III Embedded Analog and Mixed-Signal System Design.- Hybrid Dynamical Systems for Memristor Modelling.- Code Generation Alternatives to Reduce Heterogeneous Embedded Systems Homogeneity.- Part IV Digital Hardware/Software Embedded System Design.- SystemC Modeling with Transaction Events.- Automatic Generation of Virtual Prototypes from Platform Templates.- Combining Analytical and Simulation-based Design Space Exploration for Efficient Time-Critical and Mixed-Critically Systems.- Bridging Algorithm and ESL Design: MATLAB/Simulink Model Transformation and Validation.- Software Allocation in Automotive Networked Embedded Systems: A Graph-Based Approach.- Fine-Grained Adaptive Simulation.- Part V Model-Driven Engineering For Embeded System Design.- Model-Based design of real time embedded application reconfiguration.- Split of Composite Components for Distributed Applications.- ProMARTES: Performance Analysis Method and Toolkit for Real-Time Systems
Eigenschaften
Breite: | 162 |
Höhe: | 243 |
Länge: | 23 |
Seiten: | 305 |
Sprachen: | Englisch |
Autor: | Marie-Minerve Louërat, Torsten Maehne |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen