Explore projects
-
PAGAI / PAGAI
CeCILL-B Free Software License AgreementPath Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.
Updated -
Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.
Updated -
Updated
-
Updated
-
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
-
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
-
Updated
-
Updated
-
Updated
-
OSUG / RESIF / monitor-summer-snapshot
GNU General Public License v3.0 onlyMonitoring de l'espace consommé par les snapshots SUMMER
Updated -
Updated