66 résultats  enregistrer la recherche


...
tel-00550836v1  HDR
Bruno RaffinHigh Performance Interactive Computing
Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2009
...
tel-00011516v1  Thèse
Pierre-François DutotAlgorithmes d'ordonnancement pour les nouveaux supports d'exécution
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
...
tel-00424979v1  Thèse
Clément HurlinSpecification and Verification of Multithreaded Object-Oriented Programs with Separation Logic
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2009. English
...
tel-00564904v1  HDR
Pierre BouletContributions aux environnements de programmation pour le calcul intensif
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002
...
tel-00564899v1  Thèse
Pierre BouletOutils pour la parallélisation automatique
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
...
tel-00135843v1  Thèse
Pierre FortinAlgorithmique hiérarchique parallèle haute performance pour les problèmes à N-corps
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2006. Français
...
tel-00084753v1  Thèse
Guillaume HuardAlgorithmique du décalage d'instructions
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français
...
tel-00651988v1  Thèse
Hejer RejebÉtude des problèmes d'ordonnancement sur des plates-formes hétérogènes en modèle multi-port
Calcul parallèle, distribué et partagé [cs.DC]. Université Sciences et Technologies - Bordeaux I, 2011. Français
...
tel-00527894v2  Thèse
Mouna BakloutiMéthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français
...
tel-00011239v1  Thèse
David TellerRessources limitées pour la mobilité : utilisation, réutilisation, garanties.
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON; Université Claude Bernard - Lyon I, 2004. Français
...
tel-00497248v1  Thèse
Yu HuafengA MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model
Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
...
tel-00554668v1  Thèse
Shafqat KhanDevelopment of high performance hardware architectures for multimedia applications
Micro and nanotechnologies/Microelectronics. Université Rennes 1, 2010. English
...
tel-00931833v1  Thèse
Thomas Preud'HommeCommunication inter-cœurs optimisée pour le parallélisme de flux.
Calcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00353274v1  Thèse
Daouda TraoréAlgorithmes parallèles auto-adaptatifs et applications
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
...
tel-00453997v1  Thèse
Mathieu FavergeOrdonnancement hybride statique-dynamique en algèbre linéaire creuse pour de grands clusters de machines NUMA et multi-cœurs
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2009. Français
...
tel-00464406v1  Thèse
Nicolas RichartConception et mise en oeuvre d'une plate-forme de pilotage de simulations numériques parallèles et distribuées
Informatique [cs]. Université Sciences et Technologies - Bordeaux I, 2010. Français
...
tel-00934919v1  Thèse
Cédric PasteurRaffinement temporel et exécution parallèle dans un langage synchrone fonctionnel
Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00326792v1  Thèse
David RogerInteractive specular and glossy reflections in dynamic scenes.
Human-Computer Interaction [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. English
...
tel-00336707v1  HDR
François FaureSimulation Physique Interactive pour la Synthèse d'Images
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2008
...
tel-01408450v1  Thèse
Naweiluo ZhouAutonomic Thread Parallelism and Mapping Control for Software Transactional Memory
Distributed, Parallel, and Cluster Computing [cs.DC]. UJF Grenoble-1; INRIA Grenoble, 2016. English
...
tel-00456605v1  Thèse
Jérémie GaidamourConception d'un solveur linéaire creux parallèle hybride direct-itératif
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2009. Français