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"
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
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
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
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
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
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
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
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
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