Nos partenaires



Accueil du site > Français > Productions scientifiques > Logiciels diffusés

Logiciels diffusés


  • ABCD Solver : The Augmented Block Cimmino Distributed Solver, an hybrid method for the solution of large sparse linear systems on distributed memory environments
  • ADELFE : Atelier de DEveloppement de Logiciels à Fonctionnalité Emergente
  • Code de continuation simpliciale appliquée au contrôle optimal
  • Cotcot : conditions of order two, conjugate times
  • DAPm : Décodeurs acoustico-phonétiques multilingues
  • FrontC : an OCAML library providing a C parser and lexer
  • GLISS : a Generator of Library for Instructions-Set-Simulators
  • HAMPATH : on solving optimal control problems by indirect and path following methods
  • IFx-OMEGA : a simulator/model checker for UML/SysML
  • Lotrec : a general tableaux theorem prover in Java
  • MAY : Make Agents Yourself
  • Maximum final Mass Orbit Transfer
  • MUMPS : MUltifrontal Massively Parallel sparse direct Solver
  • NEPTUNE : Nice Environment with a Process and Tools Using Norms and Example
  • OTAWA : Modular and extensible framework for WCET analysis
  • PapaBench : Real-time embedded benchmark
  • RegineSeg : Audio Segmentation
  • SAToulouse : a friendly interface for the sat solver SAT4J
  • SEMCOmdt : a model-driven tool suite for pattern-based software engineering
  • Synthèse vocale, bus ivy, ... : plusieurs logiciels de l’équipe DIAMANT
  • SYROCO : a CoOperative Object Compiler
  • TfMin : Minimum time orbit transfer
  • VOLEM : base de données XML de 1700 verbes du français
  • WASP : a Wavelet Adaptive Solver for boundary value Problems
  • Prog&Play : a library designed for Real Time Strategy games


Pour toute question concernant ces logiciels, contactez leurs auteurs.