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
BOLDR
Query Intermediate Representation Library

TESL
Tagged Events Specification Language

CARNAVAL
Database of RNA Recurrent Interaction Networks