6 research outputs found

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

    Full text link

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

    Full text link

    Performance-aware component composition for GPU-based systems

    Full text link

    Thermal Issues in Testing of Advanced Systems on Chip

    Full text link

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

    Full text link

    Energy Modelling and Fairness for Efficient Mobile Communication

    Full text link
    corecore