Skip to Main content Skip to Navigation
New interface


...
tel-00005132v1  Theses
Celso Maciel da Costa. Environnement d'exécution parallèle : conception et architecture
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 1993. Français. ⟨NNT : ⟩
...
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⟩
...
tel-00011514v1  Theses
Frédéric Py. Contrôle d'exécution dans une architecture hiérarchisée pour systèmes autonomes
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2005. Français. ⟨NNT : ⟩
...
tel-02138953v1  Habilitation à diriger des recherches
Antoine Rollet. Voyage (dans le temps) autour de la vérification, du test, et au delà
Réseaux et télécommunications [cs.NI]. Université de Bordeaux, 2018
...
tel-01827238v1  Theses
Fadwa Rekik. A model driven approach for the development and verification of service-oriented applications
Computational Complexity [cs.CC]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLS088⟩
...
tel-00004839v1  Theses
Alfredo Goldman. Impact des modèles d'exécution pour l'ordonnancement en calcul parallèle
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1999. Français. ⟨NNT : ⟩
...
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-02455266v1  Theses
Matthieu Carre. Autonomic Framework For Safety Management In The Autonomous Vehicle
Automatic. Université de Pau et des Pays de l'Adour, 2019. English. ⟨NNT : ⟩
...
tel-03865452v1  Theses
Guillaume Girol. Robust reachability and model counting for software security
Cryptography and Security [cs.CR]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG071⟩
...
tel-01288081v1  Theses
Weibing Huang. Dynamics of limit orders book: statistical analysis, modelisation and prediction
Mathematics [math]. Universite Pierre et Marie Curie, 2015. English. ⟨NNT : ⟩
...
tel-01238005v3  Theses
Erwan Bousse. Execution trace management to support dynamic V&V for executable DSMLs
Software Engineering [cs.SE]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S082⟩
...
tel-00457590v1  Theses
Guillaume Waignier. Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2010. Français. ⟨NNT : ⟩
...
tel-03880885v1  Theses
Yuwei Wang. Evolution of microservice-based applications : Modelling and dafe dynamic updating
Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris; Bruno Ledoux consultants, 2022. English. ⟨NNT : 2022IPPAS009⟩