Skip to Main content Skip to Navigation
New interface


...
pastel-00935483v1  Theses
Dounia Khaldi. Automatic Resource-Constrained Static Task Parallelization : A Generic Approach
Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. English. ⟨NNT : 2013ENMP0031⟩
...
tel-01101782v2  Theses
Rachid Habel. Programmation haute performance pour architectures hybrides
Calcul parallèle, distribué et partagé [cs.DC]. Ecole Nationale Supérieure des Mines de Paris, 2014. Français. ⟨NNT : 2014ENMP0025⟩
...
tel-01831194v1  Theses
Nelson Lossing. Compilation pour machines à mémoire répartie : une approche multipasse
Génie logiciel [cs.SE]. Université Paris sciences et lettres, 2017. Français. ⟨NNT : 2017PSLEM005⟩
...
tel-03813674v1  Theses
Bruno Massoni Sguerra. Dynamic adaptation of human-computer interfaces using cognitive load tracking
Technology for Human Learning. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM082⟩
...
tel-02081178v1  Theses
Adilla Susungi. Analysis and Compilation of Parallel Programming Languages
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEM046⟩
...
tel-02516727v1  Theses
Patryk Kiepas. Performance analyses and code transformations for MATLAB applications
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEM063⟩
...
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-00832930v1  Habilitation à diriger des recherches
Claude Tadonki. High Performance Computing as a Combination of Machines and Methods and Programming
Formal Languages and Automata Theory [cs.FL]. Université Paris Sud - Paris XI, 2013
...
tel-01518362v1  Habilitation à diriger des recherches
Corinne Ancourt. Sûreté : de l'analyse à l'instrumentation et à la synthèse de code
Calcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie (Paris 6), 2015
...
pastel-00005840v1  Theses
Reena Shetty. Extending semantic nets using concept-proximity
domain_other. École Nationale Supérieure des Mines de Paris, 2008. English
...
tel-01531196v1  Theses
Pierre Guillou. Compilation efficace d'applications de traitement d'images pour processeurs manycore
Ordinateur et société [cs.CY]. Université Paris sciences et lettres, 2016. Français. ⟨NNT : 2016PSLEM022⟩
...
tel-00460604v1  Theses
Benoît Gschwind. Composition automatique et adaptative de services web pour la météorologie
Sciences de la Terre. École Nationale Supérieure des Mines de Paris, 2009. Français
...
tel-03264278v1  Theses
Arthur Aubertin. Réseau acoustique de communication bidirectionnelle ultrasonore efficace en milieu fermé
Réseaux et télécommunications [cs.NI]. Université Paris sciences et lettres, 2021. Français. ⟨NNT : 2021UPSLM007⟩
...
tel-01529422v1  Habilitation à diriger des recherches
Olivier Hermant. Complétude en Logiques
Informatique [cs]. Université Paris Diderot (Paris 7), 2017
...
pastel-00944703v1  Theses
Amira Mensi. Analyse des pointeurs pour le langage C
Autre [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. Français. ⟨NNT : 2013ENMP0032⟩
...
pastel-00962176v1  Theses
Sebastião Pais. Asymmetric Distributional Similarity Measures to Recognize Textual Entailment by Generality
Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris; Universidade da Beira Interior, 2013. English. ⟨NNT : 2013ENMP0063⟩
...
tel-01299180v1  Theses
Ronan Saillard. Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice
Systems and Control [cs.SY]. Ecole Nationale Supérieure des Mines de Paris, 2015. English. ⟨NNT : 2015ENMP0027⟩
...
pastel-00001080v1  Theses
Christophe Chotteau. Corrélation sémantique entre documents : application à la recherche d'information juridique sur le Web
Informatique et langage [cs.CL]. École Nationale Supérieure des Mines de Paris, 2003. Français. ⟨NNT : 2003ENMP1185⟩
...
hal-01254385v1  Habilitation à diriger des recherches
Fabien Coelho. Contributions à la performance du calcul scientifique et embarqué
Calcul parallèle, distribué et partagé [cs.DC]. Université Paris Diderot (Paris 7), 2013