Skip to Main content Skip to Navigation
New interface


...
tel-00084753v1  Theses
Guillaume Huard. Algorithmique du décalage d'instructions
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français. ⟨NNT : ⟩
...
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. ⟨NNT : ⟩
...
pastel-00958033v1  Theses
Mehdi Amini. Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators
Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2012. English. ⟨NNT : 2012ENMP0105⟩
...
tel-01988073v2  Theses
Jie Zhao. A combined language and polyhedral approach to heterogeneous parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE062⟩
...
tel-00277799v1  Theses
Denis Barthou. Array Dataflow Analysis in Presence of Non-affine Constraints
domain_stic. Université de Versailles-Saint Quentin en Yvelines, 1998. English. ⟨NNT : ⟩
...
tel-00826616v1  Theses
Olivier Certner. Programming Environment, Run-Time System and Simulator for Many-Core Machines
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris Sud - Paris XI, 2010. English. ⟨NNT : ⟩
...
tel-00551683v1  Habilitation à diriger des recherches
Denis Barthou. Contributions to code optimization and high performance library generation
Modeling and Simulation. Université de Versailles-Saint Quentin en Yvelines, 2008
...
tel-02151877v2  Habilitation à diriger des recherches
Christophe Alias. Contributions to Program Optimization and High-Level Synthesis
Hardware Architecture [cs.AR]. ENS de Lyon, 2019
...
tel-00550829v1  Theses
Albert Cohen. Program Analysis and Transformation: From the Polytope Model to Formal Languages
Networking and Internet Architecture [cs.NI]. Université de Versailles-Saint Quentin en Yvelines, 1999. English. ⟨NNT : ⟩
...
tel-00550830v1  Habilitation à diriger des recherches
Albert Cohen. Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools
Networking and Internet Architecture [cs.NI]. Université Paris Sud - Paris XI, 2007
...
tel-00564899v1  Theses
Pierre Boulet. Outils pour la parallélisation automatique
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français. ⟨NNT : ⟩