Logiciels développés dans les laboratoires de l'INS2I

L'INS2I est l'Institut des Sciences Informatiques et de leurs Interactions du CNRS. Ci-dessous, sont listés les logiciels développés dans un des laboratoires rattachés à l'INS2I (rattachement principal ou secondaire) décrits dans PLUME sous forme de fiche Dév ESR.
Vous pouvez sélectionner un ou plusieurs laboratoires particuliers dans la liste déroulante. Pour (dé)sélectionner plusieurs éléments, maintenez la touche "Ctrl" de votre clavier appuyée.

Dans la liste des logiciels, en cliquant sur le nom du logiciel, vous accédez à sa description.
Logicielicone de tri Description Etat du développement Laboratoire(s)
AITKENBRATU_2.5d

résolution du problème séparable (Bratu) par décomposition de Schwarz accélérée par Aitken

utilisé en interne CDCSP, ICJ
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

diffusé, stable LIGM, LITIS
AS1DPSCR2D

Aitken-Schwarz 1D Partial Solution of Cyclic Reduction 2D

utilisé en interne CDCSP, ICJ
ASTL

librairie de manipulation d'automates écrite en C++

diffusé, stable LIGM
BeC3

création d'applications Internet des Objets (IdO)

en développement LIGM
BFL_DDM_PF

bases de Fourier locales et décomposition de domaine pour simuler un front de polymérisation

utilisé en interne CDCSP, ICJ
bibtex2html

collection d'outils pour traduire BibTeX vers HTML

diffusé, stable LRI
Bio++

ensemble de bibliothèques C++ dédiées à la bioinformatique

diffusé, stable
diffusé en beta
en développement
GenHort, ISEM, LBBE, LIRMM
BioMAJ

mise à jour et transformation automatique de banques biologiques

validé (au sens PLUME)
diffusé, stable
GenOuest, INRIA Rennes, IRISA, MIG, UBIA
BioRica

décrire et simuler les systèmes multi-modèles en biologie

en développement INRIA Bordeaux, LABRI
CALDER

CAvitation en Lubrification et DEscription des effets de Rugosités

utilisé en interne ICJ, Labo Maths Orsay
CAPCC

construction parallèle de l'arbre des composantes connexes

en développement LIGM
Causalito

génération automatique de graphe causal pour les systèmes à modes de fonctionnement multiples

en développement LAAS
CDiffA

résolution des problèmes de convection-diffusion avec adaptation de maillages

utilisé en interne ICJ
Chemotaxis

approximation de modèles EDP (parabolique, hyperbolique et cinétique)

en développement ICJ
CiGri

grille de calcul “légère”

validé (au sens PLUME)
diffusé, stable
en développement
LIG
CimulA

analyse de perturbations sur automates cellulaires

diffusé en beta LIP
COMA 2D

Calcul d'Ondes en Milieux Aleatoires 2D

en projet ICJ
Compter les premiers

sommations portant sur les nombres premiers inférieurs à une borne x

en développement ICJ
coxeter

combinatoires sur les groupes de Coxeter

diffusé en beta ICJ
Critical kernels

méthode de squelettisation parallèle

diffusé, stable LIGM
Cross-Section topology

topologie des coupes pour le traitement d'images

diffusé, stable LIGM
cses

service web pour la rédaction des rapports et l’aide à la décision des commissions de spécialistes

utilisé en interne ICJ
D-LITe

pour le déployement d'applications sous forme de logique distribuée sur réseau de capteurs

diffusé, stable LIGM
Décompositions 1D ondelettes

toolbox Matlab pour les décompositions 1D en ondelettes en arbre dual M-bandes

diffusé, stable LIGM
Dinah

plateforme philologique pour la construction de documents multistructurés

utilisé en interne
en développement
LIRIS
DisocclusionEuler

reconstruction de parties manquantes dans une image numérique 2D

diffusé en beta ICJ
Distagger

reconnaissance de disfluences dans des transcriptions orales

diffusé en beta LIGM
Ed'Nimbus

filtre de séquences ADN

diffusé, stable LIGM
ElasNNVF

calcul des déformations de corps hyperélastiques

utilisé en interne ICJ
ellanalyticrank

calcul du rang analytique d'une courbe elliptique définie sur Q

diffusé en beta ICJ
eltclsh

interpreteur de commandes interactif pour le langage TCL

diffusé, stable LAAS
ESA - PetriNet

génération de scénarios redoutés

diffusé en beta LAAS
ESPript

visualisation d'alignements multiples corrélés à la structure secondaire

IBCP, IPBS
Euclidean skeletons

méthodes pour la squelettisation euclidienne robuste en 2D et 3D

diffusé, stable LIGM
Explo 2D

résolution du problème de l’explosion thermique dans des fluides

utilisé en interne ICJ
Fast Boltzmann

solving the Boltzmann equation in N log N

en développement ICJ
FLEXIBLE

déformation et changement de conformation biomolécules par excitations externes (Modes Statiques)

en développement LAAS
G'MIC

outil de manipulation d'images génériques

diffusé, stable GREYC
GC-PPXA-QUANTIZER

quantification vectorielle avec régularisation spatiale (boîte à outils C/C++)

diffusé, stable LIGM
Gdhe

visualisation 3D en robotique et systèmes embarqués

diffusé, stable LAAS
Genom

intégration de modules fonctionnels pour les systèmes embarqués

diffusé, stable LAAS
GeoGuidePatchReproduce

reconstruction de parties manquantes dans une image numérique 2D par copier-coller avec guidage

utilisé en interne ICJ, IRISA, LTCI
GetFem++

biblothèque C++ d'éléments finis interfacée scilab-python-matlab

validé (au sens PLUME)
diffusé, stable
ICJ, IMT, LaMCoS
Givaro

C++ library for computer algebra: exact arithmetic and data structures

diffusé, stable LIG, LIP, LIRMM, LJK
Gloptipoly 3

résolution numérique de problèmes de moments généralisés

diffusé, stable IMT, LAAS
GMTE

moteur de matching et transformation de graphes

en développement LAAS
GNU MPC

bibliothèque de calcul sur les nombres complexes à virgule flottante en précision arbitraire

validé (au sens PLUME) IMB, LORIA
GNU MPFR

bibliothèque de calcul à virgule flottante en précision arbitraire avec arrondi correct

validé (au sens PLUME)
diffusé, stable
LIP, LORIA
gpu-openings

ouverture linéaire pour GPU/CUDA

diffusé, stable CMM, LIGM
GraalWeb

interface d'accès à une bibliothèque décentralisée de grammaires locales

en développement LIGM
Gramlab

plate-forme d'outils collaboratifs pour des traitements linguistiques

diffusé, stable LIGM
GraMoFoNe

un plugin pour Cytoscape

diffusé, stable LIGM
Hampath

résolution de problèmes de contrôle optimal via les méthodes indirectes et homotopiques

diffusé, stable
utilisé en interne
en développement
IMB, INRIA Sophia, Institut Maths Bourgogne, IRIT
HECTAR

localisation subcellulaire, heterokont, machine à vecteur support, metaclassifier, motif, annotation

LORIA, Végétaux Marins et Biomolécules
heegner_twist

calcul par la méthode de Heegner du générateur d'une tordue quadratique de rang 1

utilisé en interne ICJ
HIKAD

simulation à l’échelle atomique du dépôt des matériaux fortes permittivités par le procédé ALD

en développement DAM, LAAS
HIPS

solveur de systèmes linéaires creux

validé (au sens PLUME)
diffusé en beta
INRIA Bordeaux, LABRI
Hoop

plate-forme pour la gestion et l'exploitation distribuée de ressources linguistiques

diffusé, stable LIGM
HyDiag

moteur générique de diagnostic à base de modèles pour les systèmes hybrides

utilisé en interne LAAS
Ibex

bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes

diffusé en beta Lab-STICC, LIGM, LINA, LIRMM, OSM
Imagine++

bibliothèques C++ pour l'enseignement, le traitement d'images et le calcul scientifique

diffusé, stable
en développement
LIGM
ImagineMVS

reconstruction 3D en stéréo multi-vues

utilisé en interne LIGM
Imview

visualisation et analyse d'image interactive multiplateforme

diffusé, stable LIGM
InvariantRingPermutationGroup

calculs des invariants algébriques d'un groupe de permutations

diffusé, stable Labo Maths Orsay, LIGM
JMMF

multiméthodes en Java

diffusé, stable LIGM
jPicEdt

générer du dessin vectoriel pour LaTeX

diffusé en beta ETIS
K-VLD

descripteurs par lignes virtuelles pour la correspondance sûre de points d'intérêt

diffusé, stable LIGM
Krig-SL

équation d'advection, méthodes semi-lagrangienne et de krigeage

utilisé en interne ICJ
LeJosRT

extension de leJOS mettant en œuvre la spécification temps réel pour Java

diffusé en beta
utilisé en interne
en développement
LIGM
LGExtract

générateur de lexiques syntaxiques à partir des tables du lexique-grammaire

diffusé, stable LIGM
LGTagger

étiqueteur grammatical réaliste incluant la reconnaissance de mots composés

diffusé, stable LIGM
libchop

bibliothèque C pour le stockage réparti et la sauvegarde de données

diffusé en beta LAAS
libcrn

boîte à outils de traitement d'images

diffusé en beta LIRIS
Libraero-Schwarz

preconditionneur Restricted Additive Schwarz accéléré par Aitken

en développement CDCSP, ICJ
Lothaire package

implémentation des algorithmes de la combinatoire des mots

diffusé, stable LIGM
LSMM

boîte à outils Matlab de recherche de pas pour la minimisation d'un critère à barrière logarithmique

diffusé, stable IRCCyN, LIGM
MC 2D

Monte Carlo 2D, solveur de l'équation de transfert radiatif

en développement ICJ
MEDL

environnement de développement pour méta-événements

utilisé en interne LIGM
MIMO-802.11e

utilisation unifiée des normes MIMO et 802.11e

diffusé en beta
en développement
LIGM
Minbrkpts

tests des performances d'une heuristique permettant la linéarisation d'ordres partiels

utilisé en interne LIGM
Mixmod

ensemble logiciel de classification supervisée et non supervisée des données

validé (au sens PLUME)
diffusé, stable
Heudiasyc, INRIA Saclay, Labo Maths Besançon, Paul Painlevé
MLV

bibliothèque multimedia simplifiée

diffusé, stable LIGM
Mobyle

framework pour intégrer les logiciels bioinformatiques

validé (au sens PLUME)
diffusé, stable
GenOuest, Institut Pasteur, IRISA, LIPM, RPBS
Morse

simulation pour la robotique

diffusé, stable LAAS, ONERA
MPaS

granulométries morphologiques sur un support 1D et 2D

utilisé en interne
en développement
CMM, LIGM
MUMPS

solveur parallèle de systèmes linéaires creux

validé (au sens PLUME)
diffusé, stable
CERFACS, ENS Lyon, INRIA, IRIT, LABRI
MuPAD-Combinat

bibliothèque de combinatoire algébrique pour le système MuPAD

validé (au sens PLUME)
diffusé, stable
ICJ, Labo Maths Orsay, LIGM, LIPN, LITIS
NAT Braille

transcription/détranscription en Braille

diffusé en beta LIRIS
NITSOL_POD

accélération de la méthode de Newton par POD

utilisé en interne CDCSP, ICJ
Norm_Est

estimation de normales de nuage de points

diffusé, stable LIGM
NS2DVV

résolution du problème de Navier-Stokes à viscosité variable avec adaptation de maillage

utilisé en interne ICJ
NS_ADI_MCSD

résolution parallèle de Navier-Stokes 3D formulation Vitesse-tourbillon par ADI et multigrille DDM

utilisé en interne CDCSP, ICJ, ONERA
OAR

gestionnaire de ressources pour grandes grappes de calcul

validé (au sens PLUME) LIG
Ocean-eddy

équations de Saint Venant en océanographie

utilisé en interne ICJ
Okada solution

to provide an initial condition to various tsunami propagation codes

diffusé, stable CMLA
Olena

traitement d'images

diffusé, stable
en développement
LIGM, LRDE
OpenKN

bibliothèque pour la modélisation, l'image de synthèse et la simulation

diffusé, stable LIGM
OpenMEEG

résolution de problèmes directs en électroencéphalographie et magnétoencéphalographie

diffusé, stable INRIA Sophia, LIGM
OpenMVG

bibliothèque C++ pour la géométrie multi-vues en vision par ordinateur

diffusé, stable LIGM
OpenPRS

langage de raisonnement procédural

diffusé, stable LAAS
OrsaHomography

recalage automatique d'images par homographie

diffusé, stable LIGM
Outilex

plate-forme de traitement automatique des langues naturelles

diffusé, stable LIGM
OXCAD

simulation multi-échelle de l’oxydation du silicium : surface, multicouches et mésoscopique

en développement DAM, LAAS
padicfields

calcul des extensions de degré donné d'un corps p-adique

diffusé en beta ICJ
Parallel-SDC

solveur parallèle d'équations différentielles (Parallel Spectral Deferred Correction)

en développement CDCSP, ICJ
PaStiX

résolution parallèle de systèmes linéaires creux (factorisation directe et incomplète)

validé (au sens PLUME)
diffusé, stable
INRIA Bordeaux, LABRI
PatchReproduce

reconstruction de parties manquantes dans une image numérique 2D par copier-coller d'échantillons

utilisé en interne ICJ, LTCI
PINK

bibliothèque de traitement d'images

en développement LIGM
PIPCL

bibliothèque de couplage de code

utilisé en interne CDCSP, ICJ
PISTOU

gestion des notices bibliographiques dans un laboratoire

utilisé en interne LIG
Plade

plate-forme de recherche de similarité sur du code source

en développement LIGM
PLAMP

diffusion atomique et appartenance de groupe

en développement LAAS
PLATINE

environnement de travail coopératif synchrone

diffusé en beta
utilisé en interne
en développement
LAAS
pMRILab

toolbox Matlab pour la reconstruction d'images pour l'Imagerie par Résonance Magnétique parallèle

diffusé, stable LIGM, NeuroSpin
pocolibs

middleware pour les systèmes embarqués et la robotique

diffusé, stable LAAS
PODDODE

solveur de système d'ODE par un découplage du système en sous-système par POD

en développement CDCSP, ICJ
Polynômes multivariés

implantation des bases des polynômes multivariés en Sage

diffusé en beta LIGM
Porous

DDM pour Darcy 3D avec une distribution log-normale de la perméabilité

CDCSP, ICJ
PowerWatershed

segmentation d'image 2D et 3D

diffusé en beta LIGM
PST-Cox

bibliothèque PSTricks permettant de dessiner des projections 2D de polytopes complexes réguliers

diffusé, stable LIGM
Pulman

gestion des publications scientifiques d'un laboratoire

diffusé, stable LAAS
Qolyester

plateforme de test pour le protocole de routage QOLSR

diffusé, stable LIGM, LRI
realtimez

générateur de diagrammes temps réel pour LaTeX en Python

diffusé en beta
en développement
LIGM
Regal

paquetage C++ pour la génération d'automates déterministes finis

en développement LIGM
RestoMMMG_Lab

boîte à outils Matlab pour la restauration d'images dans le cas d'un bruit gaussien

diffusé, stable LIGM
RestoPPXA_Lab

Boite à outils Matlab pour la restauration d'images

diffusé, stable LIGM
RestoVMFB_Lab

toolbox Matlab de restauration d'images par l'algorithme Explicite-Implicite à métrique variable

diffusé, stable LIGM
RoadColoringImpl

une implémentation pour le problème du coloriage des routes

utilisé en interne LIGM
RobOptim

optimisation numérique pour la robotique

diffusé en beta LAAS
robotpkg

système de compilation et de gestion de paquets logiciels dédié à la robotique

diffusé, stable LAAS
RoMulOC

boite à outils "Robust Multi-Objective Control"

diffusé, stable LAAS
rtmsim

simulateur temps réel multiprocesseurs en Java

diffusé en beta
en développement
LIGM
RTSS

simulateur de système temps réel

diffusé, stable LIGM
Saburo

environnement de développement de serveurs Internet

diffusé, stable LIGM
Sage-Combinat

boîte à outils pour l'exploration informatique en combinatoire (algébrique)

validé (au sens PLUME)
diffusé, stable
en développement
IML, Labo Maths Orsay, LIGM, LITIS, LRI, Univ Aix Marseille 1
SALSA

Situation Assessment using LAMDA claSsification Analysis

diffusé en beta
utilisé en interne
en développement
LAAS
SCarr2DA

résolution du problème de Stokes à viscosité variable avec adaptation de maillage

utilisé en interne ICJ
Schur

calculs de propriétés sur des groupes de Lie et des fonctions symétriques

diffusé, stable LIGM, LIPN
Scotch

partitionneur de graphes et renuméroteur de matrices creuses, séquentiel et parallèle

validé (au sens PLUME)
diffusé, stable
INRIA Bordeaux, LABRI
SEdit

édition et annotation de documents (HTML) en coopération

diffusé, stable LAAS
Segmentation d'IRM cardiaque 3d+t

délimitation automatique du myocarde du ventricule gauche en IRM 3D+t

utilisé en interne LIGM
Séparation aveugle de sources

toolbox Matlab

diffusé, stable CITI INT, LIGM
Séparation de signaux

génération et séparation de signaux numériques

utilisé en interne LIGM
SMAT

plateforme coopérative d'annotation de contenu multimédia

diffusé en beta IRIT
SOLEA

calcul de la SOLution du modèle d'Elrod-Adams

en développement ICJ, Labo Maths Orsay
SPARCC

croissance hétéroépitaxiale des semiconducteurs avec caractérisation in situ RHEED et photoémission

en développement LAAS
Sprintabout

Java et la conception visiteur

diffusé, stable LIGM
Stratuslab

distribution complète de cloud IaaS

diffusé, stable IBCP, LAL
SUNDIAL-SCHUR

plugin de Sundials pour la résolution parallèle de type complément de Schur dans BDF

en développement CDCSP, ICJ, LAMSADE
SURELET-DECONV

déconvolution d'images basée sur le principe de Stein (toolbox Matlab)

diffusé, stable LIGM
TASE

outil en ligne permettant la recherche de régions candidates par analyse de données SNP

utilisé en interne INSERM-U583, LIRMM
Tatoo

compilateur de compilateurs développé en Java

en développement LIGM
TexGeoPPXA_Lab

boite à outils Matlab pour la décomposition en composantes géométrique et de texture

diffusé, stable LIGM
TIM (Time Instrumentation Methods)

instrumentation de programmes Fortran multi-processeurs

diffusé, stable IDRIS
Tina

édition et analyse de réseaux de Petri et de réseaux temporels

validé (au sens PLUME)
diffusé, stable
LAAS
TOMUSS

tableur web collaboratif pour la gestion pédagogique des étudiants

diffusé, stable LIRIS
Topological smoothing

méthode de lissage pour des objets 2D et 3D

diffusé, stable LIGM
Topological watershed

segmentation d'images n-dimensionnelles

diffusé, stable LIGM
TreeCloud

générer des nuages arborés à partir d'un texte

en développement LIF, LIGM, LIRMM
Unitex

traitement de corpus utilisant des technologies à états finis

validé (au sens PLUME)
diffusé, stable
en développement
LIGM
Vador

Vlasov approximation

diffusé en beta ICJ, INRIA Nancy
Vaucanson

une plate-forme de manipulation d'automates

en développement LIGM, LRDE, LTCI
VElasOldroyd

résolution des problèmes d'écoulement de fluides viscoélastique (loi d'Oldroyd)

utilisé en interne ICJ
VIBRATOM

dynamique vibrationnelle des systèmes désordonnés. Simulation des spectres IR et Raman

diffusé, stable LAAS
Zebre

résolution de systèmes de Réaction-Diffusion

diffusé en beta
en développement
ICJ