.:. Consultation > Liste par domaine > Performance et fiabilité .:.

2 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

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]