11 research outputs found

    Timing Predictability in Future Multi-Core Avionics Systems

    Full text link

    Code Generation and Global Optimization Techniques for a Reconfigurable PRAM-NUMA Multicore Architecture

    Full text link

    Grounding Emotion Appraisal in Autonomous Humanoids

    Full text link

    Completing the Is-a Structure in Description Logics Ontologies

    Full text link

    Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation

    Full text link

    Towards Semantically Enabled Complex Event Processing

    Full text link

    Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models

    Full text link

    Integration of Ontology Alignment and Ontology Debugging for Taxonomy Networks

    Full text link

    Exploiting Energy Awareness in Mobile Communication

    Full text link

    Automatic Verification of Parameterized Systems by Over-Approximation

    Full text link
    corecore