Explore projects

Otawa 2 plugin for exact analysis of lru caches

Programs that validate Spark streaming computation presence for toy stencyl app.

Librairie permettant à un programme lancé par Yggdrasil d'avoir accès aux control plane.

File de messages utilisant ZMQ permettant de dispatcher une entrée en plusieurs sorties en faisant du round robin.

Simple application de diffusion de chaleur se connectant à une file de message pour lui envoyer le résultat de ses calculs.

Update Camitk Extension Project description .ced

This CEP contains libraries to convert CamiTK objects in CepCoreSchema objects.

Tutorial: Albert's example

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.