Tag cloud | Project Tree | Project List

232 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12>

STATOR - Static analysis tools developed within the STATOR project. To get Irina's MIR LLVM converter, clone (replace $login with your forge login): git+ssh://$login@scm.forge.imag.fr/var/lib/gforge/chroot/scmrepos/git/stator/mir.git
This project has not yet categorized itself in the Trove Software Map


Register Date: 2013-04-27 19:07

Stochastic Mesoscale Convective System - The general setting of this project is the study of the rainfall phenomenon in Western Africa. The chosen approach for tracking the convective systems and estimating the rainfall intensities is a stochastic one.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-10-12 17:54

Sums of squares - Recherche de témoins de Positivstellensatz via semidefinite programming, construction de preuves Coq.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-05-09 08:27

swf2vis - Visualisation toolkit for the standard workload format of D.Feitelson.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2016-01-12 11:00

Synthesis of timed enforcement monitors - This project is purposed to host the code and documentation for a tool that synthesizes timed enforcement monitors.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-07-21 17:01

TaldeaComponents - Taldea: Une application reconfigurable dynamiquement basée sur les technologies du web sémantique pour promouvoir les communautés spontanées dans un environnement pervasif.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2014-09-19 10:48

Tasks with duration in SystemC - This project provides a SystemC implementation of the concept of "tasks with duration", first designed in the jTLM simulator. The adaptation to SystemC is done as a library on top of SystemC.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-10-14 13:24

TDmath - Fiches de TD de mathématiques pour le DLST.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-05-21 12:31

Techniques Avancées de Test - Ce projet a pour but d'héberger l'ensemble des ressources relatives à l'option de l'UE Techniques Avancées de Test du Master 2 GI.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-09-14 12:39

TELJavascript - Javascript for TEL Environments

Register Date: 2013-06-24 09:59

Template Project - Project to house templates used to build other projects
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-10-27 19:04

Testability of Properties - This project investigates the testability of properties. That is, which are the properties that can be used in a property-oriented testing activity.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2011-07-16 20:57

testContratProject - Projet de test de saisie de contrat de recherche
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-11-26 10:08

TEST GIT MI2S - On teste la creation du depot GIT
This project has not yet categorized itself in the Trove Software Map


Register Date: 2015-05-07 13:23

testGrails - Ce projet de test pour le développement partagée et versionné d'un projet Grails.
This project has not yet categorized itself in the Trove Software Map


Register Date: 2009-11-25 10:27

TestIntelliJidea - Projet ayant pour objet la mise à disposition d'un tutoriel relatif au versioning via intelliJidea
This project has not yet categorized itself in the Trove Software Map


Register Date: 2010-10-11 16:47

tk707 - A MIDI drum sequencer Emulate the Roland TR 707 drum box Home page; http://www-ljk.imag.fr/membres/Pierre.Saramito/tk707/

Register Date: 2012-01-05 15:08

Tools - Un dépôt contenant quelques outils (bash, python, etc.) utilisés pendant ma thèse

Register Date: 2016-02-01 15:39

Ubiquest - The UBIQUEST project proposes to combine the network management and data management in a single framework. http://applis-liglab.imag.fr/applis-hadas/Projects/Ubiquest/
This project has not yet categorized itself in the Trove Software Map


Register Date: 2012-01-17 14:20

Ubiquest DQE - Ubiquest DQE is the Distributed Query Engine of the Ubiquest project.

Register Date: 2011-06-15 11:05

232 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12>
Powered By FusionForge