405 résultats : Informatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
405 résultats
page 1 sur 41
résultats 1 à 10
Accès libre
STAR : dépôt national des thèses électroniques françaises
A methodology to develop high performance applications on GPGPU architectures : application to simulation of electrical machines
Auteur : Oliveira Rodrigues Antonio Wendell de
Année : 2012
Année : 2012
Description : Les phénomènes physiques complexes peuvent être simulés numériquement par des techniques mathématiques. Ces simulations peuvent mener ainsi à la résolution de très grands systèmes. La parallélisation des codes de simulation numérique est alors une nécessité pour parvenir à faire ces simulations ...
Mots clés : Systèmes linéaires, Ingénierie dirigée par les modèles, UML (informatique), Compilation (informatique), C (langage de programmation), Cartes graphiques (informatique), Parallélisme (informatique), Machines électriques
Directeur(s) : Dekeyser Jean-Luc, Guyomarch Frédéric
Établissement de soutenance : Lille 1
Discipline : Informatique
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
Laboratoire : Laboratoire d'informatique fondamentale de Lille (2002-2014)
École doctorale : École doctorale Sciences pour l'ingénieur (Lille)
???menu.result.tef_doctorat.ecoleDoctoralePPN??? : 147297028
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
STAR : dépôt national des thèses électroniques françaises
A sofware product lines-based approach for the setup and adaptation of multi-cloud environments
Auteur : Cipriano Mota Sousa Gustavo
Année : 2018
Année : 2020
Description : Le cloud computing est caractérisé par un modèle dans lequel les ressources informatiques sont fournies en tant qu'un service d'utilité, ce qui élimine le besoin de grands investissements initiaux. Malgré ses avantages, le cloud computing a suscité de nouvelles inquiétudes concernant la dépendance ...
Mots clés : Informatique dans les nuages, Génie logiciel, Systèmes adaptatifs (technologie)
Directeur(s) : Duchien Laurence, Rudametkin Walter
Établissement de soutenance : Université de Lille (2018-2021)
Discipline : Informatique et applications
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
Laboratoire : Centre de Recherche en Informatique, Signal et Automatique de Lille
École doctorale : École doctorale Sciences pour l'ingénieur (Lille)
???menu.result.tef_doctorat.ecoleDoctoralePPN??? : 147297028
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
STAR : dépôt national des thèses électroniques françaises
Abstractions de différences exactes de réseaux de réactions : améliorer la précision de prédiction de changements de systèmes biologiques
Auteur : Allart Emilie
Année : 2021
Année : 2021
Description : Des prédictions de changements pour des réseaux de réactions avec information cinétique partielle peuvent être obtenues par raisonnement qualitatif avec l'interprétation abstraite. Un problème de prédiction classique en biologie systémique est de savoir quels knock-outs de gènes peuvent, ou doivent, ...
Mots clés : Systèmes biologiques, Programmation par contraintes, Calcul formel, Équations, Systèmes d', Heuristique, Métabolisme -- Régulation, Inactivation génique
Directeur(s) : Niehren Joachim
Établissement de soutenance : Université de Lille (2018-2021)
Discipline : Informatique et applications
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
Laboratoire : Centre de Recherche en Informatique, Signal et Automatique de Lille, Centre de Recherche en Informatique- Signal et Automatique de Lille - UMR 9189 / CRIStAL
École doctorale : École doctorale Sciences pour l'ingénieur (Lille)
???menu.result.tef_doctorat.ecoleDoctoralePPN??? : 147297028
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
Ressource locale
Accélération de méthodes de Krylov pour la résolution de systèmes linéaires creux sur machines parallèles
Auteur : Le Calvez Caroline
Année : 1998
Année : 2021
Description : Nous nous placons dans le cadre de la resolution de systemes lineaires creux non symetriques par des methodes de krylov sur machines paralleles. Nous considerons les methodes fom(m) et gmres(m), qui sont performantes d'un point de vue de la convergence, mais presentent l'inconvenient de ne pas etre ...
Mots clés : Analyse numérique matricielle, Systèmes linéaires, Espaces à produit scalaire
Directeur(s) : Petiton Serge
Établissement de soutenance : Université Lille1 - Sciences et Technologies
Discipline : Informatique
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
STAR : dépôt national des thèses électroniques françaises
Adaptability and encapsulation in dynamically typed languages : taming reflection and extension methods
Auteur : Teruel Camille
Année : 2016
Année : 2016
Description : Les utilisateurs s'attendent à ce que les logiciels soient à la fois continuellement disponibles et mis-à-jour à la volée. L'introduction de nouvelles fonctionnalités et l'intégration de correctifs ne doit pas perturber la bonne marche d'une application. Les développeurs bénéficient aussi de la ...
Mots clés : Langages de programmation orientés objet, Logiciels -- Réingénierie, Logiciels -- Maintenance
Directeur(s) : Ducasse Stéphane, Cassou Damien
Établissement de soutenance : Lille 1
Discipline : Informatique
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
Laboratoire : Centre de Recherche en Informatique, Signal et Automatique de Lille
École doctorale : École doctorale Sciences pour l'ingénieur (Lille)
???menu.result.tef_doctorat.ecoleDoctoralePPN??? : 147297028
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès réservé aux membres de l'Université de Lille sur authentification
Ressource locale
Adaptation des outils de la morphologie floue à l'analyse de données multidimensionnelles
Auteur : Turpin-Dhilly Sandrine
Année : 2000
Année : 2021
Mots clés : Classification automatique, Morphologie mathématique
Directeur(s) : Postaire Jack-Gérard
Établissement de soutenance : Université Lille1 - Sciences et Technologies
Discipline : Productique, automatique et informatique industrielle
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
Ressource locale
Aide à l'interrogation dans un système de documentation automatique
Auteur : Maestracci Jean-Michel
Année : 1971
Année : 2021
Établissement de soutenance : Université Lille1 - Sciences et Technologies
Discipline : Mathématiques appliquées
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
Ressource locale
Aide à la conception de systèmes à base de microprocesseurs
Auteur : Castillejo Pedro
Année : 1979
Année : 2021
Description : Etude et réalisation d'outils logiciels permettant aux concepteurs de systèmes physiques à base de microprocesseurs, de définir l'assemblage de modules élémentaires et d'obtenir le noyau logiciel d'utilisation du système.
Mots clés : Microprocesseurs, Systèmes, Conception de, Logiciels
Établissement de soutenance : Université Lille1 - Sciences et Technologies
Discipline : Informatique
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
Ressource locale
Aide à la conception de systèmes à base de microprocesseurs
Auteur : Eboueya Michel
Année : 1979
Année : 2021
Description : Etude et réalisation d'outils logiciels permettant aux concepteurs de systèmes physiques à base de microprocesseurs, de définir l'assemblage de modules élémentaires et d'obtenir le noyau logiciel d'utilisation du système.
Mots clés : Microprocesseurs, Systèmes, Conception de, Logiciels
Établissement de soutenance : Université Lille1 - Sciences et Technologies
Discipline : Informatique
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat
Accès libre
STAR : dépôt national des thèses électroniques françaises
Algorithmes d'auto-déploiement adaptatifs pour des réseaux de substitution mobiles sans fil
Auteur : Miranda Campos Karen Samara
Année : 2013
Année : 2014
Description : En cas de sinistre, les infrastructures de communication peuvent être partiellement ou totalement détruites, ou inefficaces en raison du trafic élevé. Néanmoins, il est nécessaire d'assurer la connectivité entre les équipes de secours et le centre de commandement. Par conséquent, les solutions de ...
Mots clés : Routeurs (réseaux d'ordinateurs), Réseaux ad hoc (informatique), Robots mobiles, ARCH, Modèles
Directeur(s) : Simplot-Ryl David, Razafindralambo Tahiry
Établissement de soutenance : Lille 1
Discipline : Informatique
Thème : ddc:004
???menu.result.tef_doctorat.thematicHDR??? : ddc:004
Laboratoire : Laboratoire d'informatique fondamentale de Lille (2002-2014)
École doctorale : École doctorale Sciences pour l'ingénieur (Lille)
???menu.result.tef_doctorat.ecoleDoctoralePPN??? : 147297028
???menu.result.tef_doctorat.type_doctorat??? : Doctorat
???menu.result.tef_doctorat.type_hdr-dsr??? : Doctorat