Partenaires
Rechercher
Navigation
Accueil du site > Français > Logiciels diffusés
Logiciels diffusés
- 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
- Décodeurs acoustico-phonétiques multilingues
- EGG : générateur de compilateurs
- ExTI : planification de chaînes de traitement d’image
- FMONA : interface de haut niveau pour MONA
- FrontC : an OCAML library providing a C parser and lexer
- GLISS : a Generator of Library for Instructions-Set-Simulators
- JavAct : a Java middleware for mobile adaptive agents
- Lotrec : a general tableaux theorem prover in Java
- MAY : Make Agents Yourself
- Maximum final Mass Orbit Transfer
- Modified Cholesky factorization
- 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
- PANDa : Proof Assistant in Natural Deduction for all
- PapaBench : Real-time embedded benchmark
- SAToulouse : a friendly interface for the sat solver SAT4J
- 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.