Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

CRC 901 – On-The-Fly Computing (OTF Computing) Show image information

CRC 901 – On-The-Fly Computing (OTF Computing)

Tools and demonstration systems developed in the second funding period

The OTF Testbed represents an environment where all subprojects can integrate their components for the purpose of experimentation and evaluation. Furthermore, it is planned to be utilized for demonstration purposes.

   -> OTF Testbed

_______________________________________________________________________

Tool-Suite containing SSE, MatchBox, LM Configurator, SimuLizar, and Functional Analysis Tools.

   -> SeSAME page

_______________________________________________________________________

Functional analysis of pre- and postconditions and data flow.

   -> Functional Analysis Tools page

_______________________________________________________________________

Proof-Carrying Hardware Demonstrator

   -> PCH Demonstrator page

_______________________________________________________________________

Integrates proof-carrying code and programs-from-proofs in software analysis tool CPAchecker.

   -> SoCeTs page

_______________________________________________________________________

CrACo - Cryptographic Access Control Tool for Large Scale Systems

   -> CrACo page

_______________________________________________________________________

Heterogeneous Node demonstrates the execution of service compositions on different computing resources deployed in a single heterogeneous server.

   -> Heterogeneous Node page

_______________________________________________________________________

The University for the Information Society