Explore projects
-
Clone of Apron (used to control which version of Apron we use with PAGAI).
Updated -
Updated
-
Albanne Lecointre / iworms
GNU General Public License v3.0 or laterLes objectifs de ce projet interdisciplinaire sont (1) de mettre en œuvre une nouvelle méthode de correction de la datation basée sur l’inter-corrélation de bruit sismique ambiant (2) d’appliquer ce traitement à des flux continus de données.
Updated -
Updated
-
Updated
-
This is the repository of the NLU study developed during the VOCADOM project founded by the French National Research Agency (Agence Nationale de la Recherche) / ANR-16-CE33-0006.
Updated -
This is the repository of the corpus generator developed during the VOCADOM project founded by the French National Research Agency (Agence Nationale de la Recherche) / ANR-16-CE33-0006.
Updated -
Updated
-
Projet Tutoré pour le MASTER RIE 2017-2018 1er Année Réalisation d'une application d'echange de messages.
Updated -
Reproduce the experimental results of an article currently under submission
"Assessing Software Abstractions inWCET Analysis of Reactive Programs"
Updated -
Implémentation d'un protocole de codage canal pour améliorer le PDR dans les réseaux LPWAN. Le codage utilisé est Multiple Parity Check (dérivée de LDPC).
Updated -
-
Albanne Lecointre / UTILS
GNU General Public License v3.0 or laterPetits outils autour de la manipulation de fichiers pour le calcul scientifique en sismologie:
reorganization de datasets HDF5 extraction de données brutes stockées sous irods ...Updated -
Linux Install Party
Help to setup a machine for a Linux Install Party (pxe for various distrib, shorewall, etc.)
Updated -
Updated
-
Thomas Lavocat / CoMD-integration
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
-
Albanne Lecointre / resolve
GNU General Public License v3.0 or laterUpdated -
verimag / reproducible-research / LRA4w7
CeCILL Free Software License Agreement v2.1Reproduce the experimental results of an article under submission (at the LITES journal) named :
''Improving WCET Evaluation using Counters and Linear Relation Analysis''
Updated