Skip to main content Skip to main navigation

Projects

Displaying results 71 to 80 of 87.
  1. ProThOS – Programmable Taskflow Oriented Operating System

    ProThOS – Programmable Taskflow Oriented Operating System

    ProThOS is a research project funded by the German Federal Ministry of Education and Research (BMBF) through a directive for funding for "basic research for HPC software in high-performance computing"

  2. SELFIE – Self-Verification of Electronic Systems

    SELFIE – Self-Verification of Electronic Systems

    The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing this problem, the goal of the SELFIE project is a fun

  3. MANIAC – BDD Manipulation for Approximate Computing

    MANIAC – BDD Manipulation for Approximate Computing

    The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits the capability of many applications to tolerate a

  4. CAxMan – Computer Aided Technologies for Additive Manufacturing

    CAxMan – Computer Aided Technologies for Additive Manufacturing

    Project The objectives and application areas for using computer aided technologies for additive manufacturing (CAxMan) are diverse. This project develops cloud-based toolboxes that support simulation

  5. SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

    SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

    The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate foreign software packages into an existing corporate ne

  6. MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

    MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

    MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be developed has to support the refinement of the various as

  7. SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

    SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

    The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the challenges of the increased demand on the quality, and th

  8. CloudFlow – Computational Cloud Services and Workflows for Agile Engineering

    CloudFlow – Computational Cloud Services and Workflows for Agile Engineering

    CloudFlow has the ambition to provide a Cloud Computing infrastructure based on existing technology and standards that allows SME software vendors to offer current and future customers (being it SME o

  9. CyProS – Cyber-Physical Production Systems - Increasing Productivity and Flexibility for Small and Medium-sized Businesses by Interconnecting Intelligent Systems in Factories

    CyProS – Cyber-Physical Production Systems - Increasing Productivity and Flexibility for Small and Medium-sized Businesses by Interconnecting Intelligent Systems in Factories

    The goal in the project CyPros, which is funded by the German Federal Ministry of Education and Research, is to create a representative spectrum of cyber-physical system-modules for production and log

  10. SATCLOUD – Secure and highly-available Trust contexts for mixed cloud scenarios

    SATCLOUD – Secure and highly-available Trust contexts for mixed cloud scenarios

    Cloud computing is a key component in the future of IT infrastructure in organizations. Typically, however, not all components of IT infrastructure are migrated to the cloud, but rather existing compo