Explore projects
-
Updated
-
verimag / synchrone / tools-distrib
The UnlicenseUpdated -
Christopher Ferreira / PinThreads
Affero General Public License v1.0Updated -
Updated
-
casys / givaro
CeCILL-B Free Software License AgreementGivaro, a C++ library for computer algebra: exact arithmetic and data structures
Updated -
Reproduce the experimental results of an article currently under submission
"Assessing Software Abstractions inWCET Analysis of Reactive Programs"
Updated -
-
Elodie Morin / iot-analyzer
BSD 3-Clause "New" or "Revised" LicenseThis project contains the iot-analyzer used to compare different IoT technologies in the paper : [Comparison of the Device Lifetime in Wireless Networks for the Internet of Things]
Updated -
-
MecaIceIGE / Tools / Ice Polycrystal Models / R³iCe
GNU General Public License v3.0 or laterUpdated -
Cyril Labbe / scidetect
GNU General Public License v3.0 onlyProvide on opensource version of the scigen detector: http://scigendetection.imag.fr/main.php
Updated -
Updated
-
Updated
-
Updated
-
Yliès Falcone / DecentMon
GNU General Public License v2.0 or laterDecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
Updated
-
Projet à cloner pour les étudiants réalisant le TP allocation mémoire
Updated