Administration  Allocation de ressources  Analyse  Analyse Binaire Statique  Analyse formelle  Analyse informatique  Applications Web  Architecture Orientée-Services  Bases de données non relationnelles  Calculs côté client  Centre de données  Centres de traitement informatique  Chiffrement  Chiffrement  Cloud  Cloud Computing  Comportements  Composition des aspects  Confidentialité  Contrat de niveau de service  Contrats informatiques  Coq  Coq  Couplage faible  Coût-efficacité  Cryptographie  Dimensionnement automatique  Efficacité énergétique  Elasticité  Equivalence contextuelle  Extensibilité  Faisceautisation  Forcing  Fragmentation  Gestion -- Informatique  Gestion de capacité  Gestion événementielle  Gestionnaire de centre de données  Haskell  Homotopie  Informatique dans les nuages  Informatique en nuage  Infrastructure IaaS  Infrastructures distribuées  Injection de charge  Instrumentation  Internet des objets  Interopérabilité  Introspection  Introspection de Machine Virtuelle  JavaScript  JavaScript  Langage  Langage dédié  Langages de programmation -- Sémantique  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation logique  Langages dédiés  Langages formels  Le Fossé Sémantique  Logiciels -- Maintenance  Logique temporelle  Lois algébriques  Machine virtuelle  Maintenance modulaires  Modularité, interpréteurs  Modèle de passation de messages  Monades  Monitorage  Métriques de performance  Nanos centres de données  OpenStack  Ordonnancement  Ordonnancement dynamique  Passage à l’échelle  Patrons de conception  Performances des systèmes virtualisés  Placement des machines virtuelles  Planification -- Informatique  Planification de capacité  Programmation chimique  Programmation orientée aspect  Programmation orientée aspects  Programmation orientée objets  Programmation par aspect  Programmation par aspects  Programmation par composants  Programmation par contrainte  Programmation par objet  Programmation par objets  Préconditions minimales  Raisonnement compositionnel  Raisonnement modulaire  Refactoring  Relation logique  Responsabilisation  Responsabilité  Ressource Description Framework  Réactivité  Réseaux de capteurs  Réseaux de capteurs  Réutilisation du Code Binaire  Scénario d’activités  Services  Services Web  Sous-typage  Supervision  Systèmes autonomes  Systèmes coopératifs  Systèmes multi-agents  Systèmes virtuels  Sécurité  Sémantique des jeux  Théorie des types  Traitement d'événements  Traitement des événements complexes  Transformation des programmes  Vie privée  Virtualisation  Vérification  Économies d'énergie  Électricité -- Consommation  Énergie renouvelable  Énergies renouvelables  

19 thèses soutenues ayant pour partenaire de recherche ASCOLA. ASpect and COmposition LAnguages
Extrait des plus récentes :

Informatique et applications
Soutenue le 13-12-2016
thèse
Informatique et applications
Soutenue le 11-07-2014
thèse