Explore projects

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

DLS code used at LIPhy

Research project for connecting spark and MPI universe.

Implémentatino Java de la FEC MPC pour LoRaWAN