11045 articles  [english version]
.:. Consultation > Liste par domaine > Calcul parallèle, distribué et partagé .:.
10 documents classés par :

fulltext access Verification of communicating recursive programs via split-width
Cyriac A.
École normale supérieure de Cachan - ENS Cachan (28/01/2014), Paul Gastin (Dir.) [tel-01015561 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Programmation efficace et sécurisé d'applications à mémoire partagée
Sifakis E.
Université de Grenoble (06/05/2013), Saddek Bensalem;Laurent Mounier (Dir.) [tel-00823054 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Epidémiologie moléculaire et métagénomique à haut débit sur la grille
Doan T.-T.
Université Blaise Pascal - Clermont-Ferrand II (17/12/2012), Vincent Breton;Hong Quang Nguyen (Dir.) [tel-00778073 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access High performance lattice Boltzmann solvers on massively parallel architectures with applications to building aeraulics
Obrecht C.
INSA de Lyon (11/12/2012), Frédéric Kuznik;Bernard Tourancheau;Jean-Jacques Roux (Dir.) [tel-00776986 - version 3]
STAR - Dépôt national des thèses électroniques
fulltext access Adapting the polytope model for dynamic and speculative parallelization
Jimborean A.
Université de Strasbourg (14/09/2012), Philippe Clauss (Dir.) [tel-00733850 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Visualisation interactive de grands volumes de données incertaines : pour une approche perceptive
Coninx A.
Université de Grenoble (22/05/2012), Georges-Pierre Bonneau;Jacques Droulez (Dir.) [tel-00749885 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques
Do H.-T.
Université d'Orléans (13/12/2011), Sébastien Limet (Dir.) [tel-00660083 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Equilibrage de charge dynamique sur plates-formes hiérarchiques
Quintin J.-N.
Université de Grenoble (08/12/2011), Denis Trystram;Frederic Wagner (Dir.) [tel-00661447 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access 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]
STAR - Dépôt national des thèses électroniques
fulltext access Allocation de ressources et ordonnancement multi-utilisateurs : une approche basée sur l'équité
Medernach E.
Université Blaise Pascal - Clermont-Ferrand II (06/05/2011), Vincent Breton (Dir.) [tel-00657945 - version 2]
STAR - Dépôt national des thèses électroniques