Skip to Main content Skip to Navigation
New interface


...
tel-02466362v1  Habilitation à diriger des recherches
Jean-Claude Royer. Concepts et modèles formels pour l'analyse et la conception à objets
Langage de programmation [cs.PL]. Université de Nantes - Faculté des Sciences et Techniques, 2001
...
tel-03177856v1  Theses
Pierre Leca. Combining active object and BSP programs
Programming Languages [cs.PL]. Université Côte d'Azur, 2020. English. ⟨NNT : 2020COAZ4055⟩
...
tel-02495270v1  Habilitation à diriger des recherches
Thomas Guyet. Enhancing sequential pattern mining with time and reasoning
Artificial Intelligence [cs.AI]. Université de Rennes 1, 2020
...
tel-00125472v1  Theses
Emmanuel Pietriga. Environnements et langages de programmation visuels pour le traitement de documents structurés
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨NNT : ⟩
...
tel-00563868v1  Theses
Fabien Gaud. Étude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs
Réseaux et télécommunications [cs.NI]. Université de Grenoble, 2010. Français. ⟨NNT : ⟩
...
tel-01102401v1  Habilitation à diriger des recherches
Pierre Genevès. Static Analysis for Data-Centric Web Programming
Computer Science [cs]. Université Grenoble Alpes, 2014
...
tel-01218016v1  Theses
Anthony Simonet. Active Data - Enabling Smart Data Life Cycle Management for Large Distributed Scientific Data Sets
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1004⟩
...
tel-03220655v1  Theses
Hmida Hmida. Extension des Programmes Génétiques pour l’apprentissage supervisé à partir de très larges Bases de Données (Big data)
Langage de programmation [cs.PL]. Université Paris sciences et lettres; Université de Tunis El Manar, 2019. Français. ⟨NNT : 2019PSLED047⟩
...
tel-01752777v1  Theses
Antoine Reilles. Réécriture et compilation de confiance
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2006. Français. ⟨NNT : 2006INPL084N⟩
...
tel-00637917v1  Habilitation à diriger des recherches
Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data
Software Engineering [cs.SE]. Université de Grenoble, 2011
...
tel-02897503v1  Theses
Marinela Shehaj. Robust dimensioning of wireless optical networks with multiple partial link failures
Networking and Internet Architecture [cs.NI]. Université de Technologie de Compiègne, 2020. English. ⟨NNT : 2020COMP2540⟩
...
tel-01867973v2  Theses
Hardik Soni. Towards network softwarization : a modular approach for network control delegation
Networking and Internet Architecture [cs.NI]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4026⟩
...
tel-00004816v1  Theses
Gerson Geraldo Homrich Cavalheiro. Athapascan-1 : interface générique pour l'ordonnancement dans un environnement d'exécution parallèle
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1999. Français. ⟨NNT : ⟩
...
tel-00319044v1  Theses
Saddek Bensalem. Algèbre de programmes dans un univers type
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩
...
tel-03622653v1  Theses
Sonia Badene. Weak supervision for learning discourse structure in multi-party dialogues
Artificial Intelligence [cs.AI]. Université Paul Sabatier - Toulouse III, 2021. English. ⟨NNT : 2021TOU30138⟩
...
tel-01951684v1  Theses
Abdul Rahman El Sayed. 3D object processing and Image processing by numerical methods
General Mathematics [math.GM]. Normandie Université, 2018. English. ⟨NNT : 2018NORMLH19⟩
...
tel-01508496v1  Theses
Mouna Tka. Génération automatique de test pour les contrôleurs logiques programmables synchrones
Langage de programmation [cs.PL]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM020⟩
...
tel-00756967v2  Habilitation à diriger des recherches
Abdoulaye Gamatié. Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip
Embedded Systems. Université des Sciences et Technologie de Lille - Lille I, 2012
...
tel-03620181v1  Theses
Beibei Xiong. Environmental Efficiency Evaluation by Data Envelopment Analysis and its Applications
Economics and Finance. Université de Technologie de Troyes; University of science and technology of China, 2019. English. ⟨NNT : 2019TROY0020⟩