6 research outputs found

    Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool

    Full text link

    Performance-aware component composition for GPU-based systems

    Full text link

    Hardware/Software Codesign of Embedded Systems with Reconfigurable and Heterogeneous Platforms

    Full text link

    Security in Embedded Systems: A Model-Based Approach with Risk Metrics

    Full text link

    Thermal Issues in Testing of Advanced Systems on Chip

    Full text link

    Energy Modelling and Fairness for Efficient Mobile Communication

    Full text link
    corecore