{ "item_title" : "Languages, Design Methods, and Tools for Electronic System Design", "item_author" : [" Marie-Minerve Louërat", "Torsten Maehne "], "item_description" : "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", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/31/935/913/3319359134_b.jpg", "price_data" : { "retail_price" : "109.99", "online_price" : "109.99", "our_price" : "109.99", "club_price" : "109.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details