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 first funding period

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

   -> SeSAME page

_______________________________________________________________________

Service Specification Environment for describing services comprehensively and transforming specification languages using by-example techniques.

   -> SSE page

_______________________________________________________________________

Framework for matching services using a comprehensive matching process and fuzzy matching.

   -> MatchBox page

_______________________________________________________________________

Functional analysis of pre- and postconditions and data flow.

   -> Functional Analysis Tools page

_______________________________________________________________________

Provides modeling support for self-adaptation rules as well as new analysis for scalability, elasticity, and efficiency.

   -> SimuLizar page

_______________________________________________________________________

The goal of the market demonstrator is to demonstrate and evaluate the feasibility of an On-The-Fly service market.

   -> Market Demonstrator page

_______________________________________________________________________

ConfigMate is a tool to automatically compose a new service operation from a given set of service operations.

   -> ConfigMate Page

_______________________________________________________________________

Proof-Carrying Hardware Demonstrator

   -> PCH Demonstrator page

_______________________________________________________________________

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

   -> SoCeTs page

_______________________________________________________________________

The On-The-Fly Image Processing demonstrator aims for emphasizing the benefits of applying On-The-Fly Computing service composition techniques to the image processing application domain.

   -> Image Processing Demonstrator page

_______________________________________________________________________

CrACo - Cryptographic Access Control Tool for Large Scale Systems

   -> CrACo page

_______________________________________________________________________

MaxiNet extends the famous Mininet emulation environment to span an emulation across several physical machines. This allows to emulate very large SDN networks.

   -> MaxiNet page

_______________________________________________________________________

The simulator provides functionalities to implement and test scheduling strategies and evaluate them.

   -> SchedSim

_______________________________________________________________________

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

   -> Heterogeneous Node page

_______________________________________________________________________

The Water Tank Optimization tool can be used to support the planning process for tanks in a water distribution system.

   -> Water Tank Optimization page

_______________________________________________________________________

The Ontology Optimization Models tool implements the process of Algebraic Modeling Language (AML) Derivation for an ontology represented optimization model.

   -> Ontology Optimization Models page

The University for the Information Society