Explore projects

Reproduce the experimental results of an article under submission (at the LITES journal) named :

''Improving WCET Evaluation using Counters and Linear Relation Analysis''

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

Projet à cloner pour les étudiants réalisant le TP allocation mémoire

temporary repo for riscv 128-bit toolchain

Development version for WPS

temporary repo for riscv 128-bit newlib

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

The open source release of the IF Toolset

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

Official git repository of Elmer FEM software

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.

Lecture notes + homeworks for the Scientific Methodology and Experimental Evaluation course.