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 Proof of Concept 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 Proof of Concept

_______________________________________________________________________

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

_______________________________________________________________________

upb.crypto implements advanced cryptographic schemes (e.g., attribute-based encryption, an anonymous credential system, ...) and offers a tool suite for prototyping further schemes.

   -> Details 
   -> GitHub

_______________________________________________________________________

­

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

   -> Heterogeneous Node page

_______________________________________________________________________

ReproDroid is a framework which can be used to create, refine and execute reproducible benchmarks for Android app analysis tools.

   -> ReproDroid page

_______________________________________________________________________

Phasar is a novel static-analysis framework on top of LLVM. Phasar provides various solvers that allow the solving of arbitrary monotone data-flow problems (distributive or not) in a fully automated manner on the LLVM intermediate representation (LLVM IR). A user just has to provide the specific description of the problem to solve.

   -> Phasar page

_______________________________________________________________________

NetSimLan is a software simulating distributed systems. It's made for but not limited to visualizing self stabilizing systems.

   -> NetSimLan page

_______________________________________________________________________

TEA - TEE-Enabled Anonymity. 

TEA implements an anonymous communication system that allows its users to communicate anonymously with each other. For this, it leverages trusted execution environments.

   -> TEA page

_______________________________________________________________________

TiLe is a framework which can be used to test the balancedness of machine learning classifiers.

   -> TiLe

The University for the Information Society