Skip to Main content Skip to Navigation
New interface


...
tel-02435594v2  Theses
Marta Stasiak. Uniaxial compression of a highly crushable granular material - a 3D DEM study
Mechanics of materials [physics.class-ph]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAI041⟩
...
tel-01251721v1  Theses
Imen Fassi. XFOR (Multifor): A New Programming Structure to Ease the Formulation of Efficient Loop Optimizations
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
...
tel-01251719v1  Theses
Jean-François Dollinger. A framework for efficient execution on GPU and CPU+GPU systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg, 2015. English
...
tel-01270558v1  Theses
Mohamed Riyadh Baghdadi. Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation
Programming Languages [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2015. English. ⟨NNT : 2015PA066368⟩
...
tel-03771830v1  Theses
Paul Iannetta. Compiling Trees : Combining Data Layouts and the Polyhedral Model
Data Structures and Algorithms [cs.DS]. Université de Lyon, 2022. English. ⟨NNT : 2022LYSEN013⟩
...
tel-01370553v1  Theses
Guillaume Iooss. Detection of linear algebra operations in polyhedral programs
Other [cs.OH]. Université de Lyon; Colorado state university, 2016. English. ⟨NNT : 2016LYSEN019⟩
...
tel-01414770v1  Theses
Oleksandr Zinenko. Interactive Program Restructuring
Human-Computer Interaction [cs.HC]. Université Paris Saclay (COmUE), 2016. English. ⟨NNT : 2016SACLS437⟩
...
tel-03877029v1  Theses
Auguste Olivry. Automatic derivation of I/O complexity bounds for affine programs
Computational Complexity [cs.CC]. Université Grenoble Alpes [2020-..], 2022. English. ⟨NNT : 2022GRALM022⟩
...
tel-00011522v1  Theses
Katell Morin-Allory. Vérification Formelle dans le Modèle Polyédrique
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français
...
tel-00545008v4  Theses
Anthony Coadou. Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2010. Français
...
tel-00005127v1  Theses
Patrick Gros. Outils géométriques pour la modélisation et la reconnaissance d'objets polyédriques
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
...
tel-01078440v1  Theses
Michael Kruse. Lattice QCD Optimization and Polytopic Representations of Distributed Memory
Computers and Society [cs.CY]. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112198⟩
...
tel-00726420v1  Theses
Antoine Floc'H. Compilation optimisante pour processeurs extensibles
Architectures Matérielles [cs.AR]. Université Rennes 1, 2012. Français
...
tel-01892198v1  Theses
Christophe Alias. Optimisation de programmes par reconnaissance de templates
Calcul parallèle, distribué et partagé [cs.DC]. Université de Versailles Saint-Quentin-en-Yvelines, 2005. Français