Explore projects

Internet protocols measurement tools

Ipmt is a toolbox for network performance measurement. It allows to send and receive TCP or UDP traffic. Receivers compute and display statistics continuously.

Mon compilateur Curly (compilable avec Stack)

Aquaponie est la pratique d’agriculture associant dans un même milieu la culture de végétaux et l’élevage de poissons en symbiose

Le code des systèmes embarquées dans les serres connectées

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

BIP compiler and execution engines.

C++ library to trace structured events and data from usual tracepoints

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

Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.

Givaro, a C++ library for computer algebra: exact arithmetic and data structures

Analyse de sensibilité des dynamiques spatio-temporelles: application à l'analyse de sensibilité des précipitations (mousson Afrique de l'Ouest) aux paramètres d'entrées du modèle atmosphèrique régional MAR. Déploiement sur grille (DIET).

Tutorial: Albert's example

16h-20h lecture notes on "Operating System and Parallel Computing: Concurrency; Scheduling; Memory.". (Work in progress)

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