Acronyme | Intitulé | Point de contact IRIT |
ABCD Solver | A parallel hybrid solver based on the Augmented Block Cimmino method for the solution of sparse systems of linear equations on distributed and shared memory supercomputers | Daniel Ruiz |
ADELFE | Atelier de DEveloppement de Logiciels à Fonctionnalité Emergente | Carole Bernon |
Canard | Complex Alignment Need and A-box based Relation Discovery | Equipe MELODI |
CIRCUS | ICS Integrated modelling environments (tasks, system, co-execution…) | Equipe ICS |
Continuation simpliciale | Traitement du signal Doppler pour le monitoring du rythme cardiaque du fœtus | Equipe APO |
CotCot | Conditions of order two, conjugate times | Equipe APO |
DAPm | Décodeurs acoustico-phonétiques multilingues | Equipe SAMOVA |
ELAASTIC | Application digitale facilitant la mise en œuvre de pédagogie active durant les cours en face à face ou à distance | Julien Broisin, Franck Silvestre |
ELSD | Ellipse and Line Segment Detection | Equipe REVA |
FrontC | An OCAML library providing a C parser and lexer | Hugues Cassé |
GLISS | Generator of Library for Instructions-Set-Simulators | Pascal Sainrat |
GRAFIX | Software for representation and management of abstract argumentation graphs | Marie-Christine Lagasquie-Schiex |
GRNeat | GRN with augmented topologies | Sylvain Cussat-Blanc |
HAMPATH | A solver for optimal control problems based on indirect and path following methods | Olivier Cots |
HAMSTERS | Human – centered Assessment and Modelling to Support Task Engineering for Resilient Systems | Equipe ICS |
HPDDM | A parallel domain decomposition solver for the solution of sparse linear systems of equations on large scale distributed memory supercomputers | Pierre Jolivet |
IFx-OMEGA | A simulator/model checker for UML/SysML | Iulian Ober |
Image Annotation Web App | Web application for image annotation | Axel Carlier |
Lab4CE | A Remote Laboratory for Computer Education | Julien Broisin |
LARAt | Layout Annotation for Relation Acquisition tool | Equipe MELODI |
Learn-ocaml.el | An emacs mode for students using the learn-ocaml platform | Erik Martin-Dorel |
LELIE-LELIO | Personal intelligent assistant for improving technical documents | Patrick Saint-Dizier |
LoTREC | Generic Tableau Theorem prover | Equipe LILAC |
MECACELL | A cell physics simulator | Yves Duthen |
MfMax | Maximum final Mass Orbit Transfer | Joseph Gergaud |
Miage & Compétences | This platform allows (i) educational teams to design and support professional learning following a skills-based approach, (ii) learners to orient themselves according to the targeted professions, and (iii) professionals to target training situations according to their business needs | Julien Broisin |
MojitO/S | An open source energy and network monitoring tool at the operating system level | Georges Da-Costa |
MPS | Minimal path selection | Sylvie Chambon |
MUMPS | A parallel direct solver based on the multifrontal method for the solution of sparse systems of linear equations on distributed and shared memory supercomputers | Patrick Amestoy, Chiara Puglisi |
MyMOOCSpace | A cloud‐based mobile system to support effective collaboration in higher education online courses | Maria-Perez Sanaugustin |
NEPTUNE | Nice Environment with a Process and Tools Using Norms and Example | Thierry Millan |
NMP | Note My Progress | Maria-Perez Sanaugustin |
OTAWA toolset | Open Tool for Adaptive WCET Analyses | Equipe TRACES |
oYC | Discourse analysis tools: libraries educe, attelo, and analysers for Stac, RST-DT | Equipe MELODI |
PapaBench | Real-time embedded benchmark | Equipe TRACES |
PetShop | Petshop environnement | Equipe ICS |
Prog&Play | A library designed for Real Time Strategy games | Equipe SIERA |
qr_mumps | A parallel direct solver based on the multifrontal method for the solution of sparse least-squares problems on multicore and GPUs | Alfredo Buttari |
SBMR | Skeleton based multi-view reconstruction | Geraldine Morin, Sylvie Chambon |
SemanticSearch | Une inteface de requête de données associées à des images d’observation de la Terre | Equipe MELODI |
SEMCOMDT | Outil logiciel de gestion des security paterns pour faciliter la conception de systèmes critiques | Brahim HAMID |
SESAME | SEmantics Specification for Abstract arguMEntation | Philippe Besnard, Sylvie Doutre, Dominique Longin |
SPARQL | Rewriting of SPARQL queries based on complex alignments | Equipe MELODI |
TfMin | Minimum time orbit transfer | Equipe APO |
TouIST | Interface for SAT solvers for propositional logic and theories | Andreas Herzig, Dominique Longin, Frédéric Maris |
UniMath | Univalent mathematics | Equipe ACADIE |
Vacs | A library of communication models | Philippe Queinnec |
ValidSDP | A Coq tactic for proving multivariate inequalities using SDP solvers | Erik Martin Dorel |
VLC DCP plugin | Player for digital cinema | Equipe REVA |
VOAR | A configurable web-based environment for visualizing and manipulating multiple ontology alignments | Cassia Trojahn |
WASP | a Wavelet Adaptive Solver for boundary value Problems | Equipe APO |
WINDFLO | WindFarm simulator | Pierre Gurdjos |