Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel LeTSeE
LeTSeE - LeTSeE: the LEgal Transformation SpacE Explorator
Date de dernière version : 16 février 2008

Responsable : BASTOUL Cédric


LeTSeE is a platform dedicated to computing and exploring the legal affine scheduling space of a statically controlled program. It is programmed as a library, offering services such as: (1) a tunable algorithm for legal transformation space construction, (2) various heuristics to traverse legal spaces, (3) many auxiliary functions (graph manipulation, transformation generation, etc.).

Pour en savoir plus: http://www-rocq.inria.fr/~pouchet/software/letsee/

Logiciel - Licence : GPL



Activités de recherche
  Compilation

Membres
  POUCHET Louis-Noel

Equipe
  Systèmes Parallèles

Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes