Skip to Main content Skip to Navigation


...
dumas-00725210v1  Master thesis
Matthieu Perrin. Algorithmes efficaces de recherche pour une machine chimique pair-à-pair
Calcul parallèle, distribué et partagé [cs.DC]. 2012
...
hal-00498862v1  Conference papers
Jérémy BuissonFrançoise AndréJean-Louis Pazat. Adaptation dynamique de codes parallèles
Journées Composants, Mar 2004, Lille, France
...
hal-00498819v1  Conference papers
Jérémy Buisson. Un modèle pour l'adaptation dynamique des programmes parallèles
Rencontres Francophones en Parallélisme, Architecture, Système et Composant, Apr 2005, Le Croisic, France
...
inria-00434462v1  Journal articles
Charles AndréFrédéric Mallet. Modèle de contraintes temporelles pour systèmes polychrones
Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 7-9 (43), pp.725-739
...
tel-00712754v1  Theses
Olivier Dalle. Techniques et outils pour les communications et la répartition dynamique de charge dans les réseaux de stations de travail
Calcul parallèle, distribué et partagé [cs.DC]. Université Nice Sophia Antipolis, 1999. Français
...
tel-00505940v1  Theses
Ludovic Henrio. Calcul d'objet asynchrone : confluence et déterminisme
Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français
...
tel-00011239v1  Theses
David Teller. Ressources 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  Theses
Yu Huafeng. A 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-01940700v2  Theses
Yann Barsamian. Pic-Vert: A Particle-in-Cell Implementation for Multi-Core Architectures
Computer Science [cs]. Université de Strasbourg, 2018. English
...
hal-02573052v1  Reports
Paul IannettaLaure GonnordLionel Morel. On optimizing scalar self-rebalancing trees
[Research Report] RR-9343, INRIA LIP; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
...
tel-00832663v1  Theses
Tuan Tu Tran. Bioinformatics Sequence Comparisons on Manycore Processors
Data Structures and Algorithms [cs.DS]. Université des Sciences et Technologie de Lille - Lille I, 2012. English
hal-01253792v1  Conference papers
Serge Iovleff. Rtkpp: Un package pour faire l'interface entre R et la bibliothèque STK++
Quatrièmes Rencontres R, Jun 2015, Grenoble, France
...
tel-01975275v1  Theses
Nicolas Bouzat. Algorithmes à grain fin et schémas numériques pour des simulations exascales de plasmas turbulents
Calcul parallèle, distribué et partagé [cs.DC]. Université de strasbourg, 2018. Français
...
tel-00004705v1  Theses
Andréa Schwertner-Charão. Multiprogrammation parallèle générique des méthodes de décomposition de domaine
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 2001. Français
...
tel-01231838v2  Theses
Mawussi Zounon. On numerical resilience in linear algebra
Numerical Analysis [cs.NA]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0038⟩
...
tel-01099853v1  Theses
Matthieu Texier. Gestion dynamique du parallélisme dans les architectures multi-cœurs pour applications mobiles
Traitement du signal et de l'image [eess.SP]. Université de Rennes 1, 2014. Français
...
tel-02102687v1  Theses
Simon Lunel. Parallelism and modular proof in differential dynamic logic
Artificial Intelligence [cs.AI]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S005⟩
...
tel-00424979v1  Theses
Clément Hurlin. Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic
Software Engineering [cs.SE]. Université Nice Sophia Antipolis, 2009. English
...
tel-00010909v1  Theses
Rémi Revire. Ordonnancement de graphe dynamique de tâches sur architecture de grande taille
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français
...
tel-03105625v1  Habilitation à diriger des recherches
Olivier Aumage. Instruments of Productivity for High Performance Computing
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux (UB), France, 2020
...
inria-00537498v1  Conference papers
Florence Zara. Simulation physique de textiles sur grappe de processeurs
14èmes Journées de l'Association Française d'Informatique Graphique (AFIG'01), AFIG, Nov 2001, Limoges, France
...
tel-00353274v1  Theses
Daouda Traoré. Algorithmes parallèles auto-adaptatifs et applications
Informatique [cs]. Institut National Polytechnique de Grenoble - INPG, 2008. Français
...
tel-00326792v1  Theses
David Roger. Interactive specular and glossy reflections in dynamic scenes.
Human-Computer Interaction [cs.HC]. Université Joseph-Fourier - Grenoble I, 2008. English