Explore projects

This is the repository of the final Vocadom system for real-time multisource robust spoken command understanding made during the the VOCADOM project founded by the French National Research Agency (Agence Nationale de la Recherche) / ANR-16-CE33-0006.

Otawa 2 plugin for exact analysis of lru caches

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

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

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

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

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.

Update Camitk Extension Project description .ced