Handbook of Hardware/Software Codesign (2 Vol Set)

Introduction to Hardware/Software Codesign Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems SysteMoC: A Data-Flow Programming Language for Codesign ForSyDe: System Design Using a Functional Language and Models of Computation Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach Optimization Strategies in Design Space Exploration Hybrid Optimization Techniques for System-Level Design Space Exploration Architecture and Cross-Layer Design Space Exploration Scenario-Based Design Space Exploration Design Space Exploration and Run-Time Adaptation for Multi-core Resource Management Under Performance and Power Constraints Reconfigurable Architectures Application-Specific Processors Memory Architectures Emerging and Non-volatile Memory NOC-Based Multi-processor Architecture for Mi xed Time-Criticality Applications Parallel Simulation Multi-processor System-on-Chip Prototyping Using Dynamic Binary Translation Host-Compiled Simulation Precise Software Timing Simulation Considering Execution Exploration Contexts Timing Models for Fast Embedded Software Performance Analysis Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework CPA - Compositional Performance Analysis Networked Real-Time Embedded Systems Hardware-Aware Compilation Memory-Aware Optimization of Embedded Software for Multiple Objectives Microarchitecture-Level SoC Design MAPS: A Software Development Environment for Embedded Multi-core Applications HOPES: Programming Platform Approach for Embedded Systems Design Daedalus: System-Level Design Methodology for Streaming Multiprocessor Embedded Systems on Chips SCE: System-on -Chip Environment Metamodeling and Code Generation in the Hardware/Software Interface Domain Hardware/Software Codesign Across Many Cadence Technologies Synopsys Virtual Prototyping for Software Development and Early Architecture Analysis Joint Computing and Electric Systems Optimization for Green Datacenters The DSPCAD Framework for Modeling and Synthesis of Signal Processing Systems Control/Architecture Codesign for Cyber-Physical Systems Wireless Sensor Networks Codesign Case Study on Transport-Triggered Architectures Embedded Computer Vision

9789401772662

1