.:. Browse > List by subject > Performance and Reliability .:.

2 documents ordered by : Date Title first author name document type Submit date

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]