Accueil
Consultation
Liste des articles
Liste par domaine
Liste par auteurs
Rechercher
5732 articles – 1 Notice
[english version]
.:.
Consultation
>
Liste par domaine
> Langage de programmation .:.
3 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
Allocation de registres découplée (basée sur la formulation SSA) : De la théorie à la pratique, faire face aux contraintes liées à la compilation juste à temps et aux processeurs embarqués
Colombet Q.
Ecole normale supérieure de lyon - ENS LYON (07/12/2012), Alain Darte (Dir.) [tel-00764405 - version 2]
Adapting the polytope model for dynamic and speculative parallelization
Jimborean A.
Université de Strasbourg (14/09/2012), Philippe Clauss (Dir.) [tel-00733850 - version 2]
Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
Tesson J.
Université d'Orléans (08/11/2011), Frédéric Loulergue (Dir.) [tel-00660554 - version 3]