Explore projects

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

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

An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.

simualtions for the vote22 project

Reproduce the experimental results of an article currently under submission

"Assessing Software Abstractions inWCET Analysis of Reactive Programs"

cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf

Linux Install Party

Help to setup a machine for a Linux Install Party (pxe for various distrib, shorewall, etc.)

Provide on opensource version of the scigen detector: http://scigendetection.imag.fr/main.php

ECMI groupwork 2018