Accéder directement au contenu
Accéder directement à la navigation
Toggle navigation
Connexion
Connexion
Connexion avec ORCID
se connecter avec Fédération
Créer un compte
Mot de passe oublié ?
Login oublié ?
Mines Nantes - Département informatique jusqu'au 31/12/2014 - Depuis le 01/01/2015, devenu DAPI
Accueil
Consultation
Par année
Par auteur
Par équipe de recherche
Par type de publication
Recherche
Accueil
Mots-clés
Calibration
Constraint Programming
CTL
Reactivity
Elasticity
Languages
IaaS
QoS
Refactoring
Reconfiguration
Aspect-Oriented Programming
Model-driven engineering
Interoperability
Model checking
Aspect interference analysis
Subtyping
Analyse de mutations
Global optimization
Design
Service Level Agreement SLA
Ordonnancement
Service-Oriented Computing
Framework
ATL
Programmation par contraintes
Contraintes globales
Scheduling
Theory
Combinatorial optimization
Aspect composition
Architecture
Autonomous systems
CP-based column generation
High performance
Constraints
Compiler correctness
Auto-scaling
Artificial intelligence
Distributed systems
Distributed file systems
Object-Oriented Programming
Java
Branch and bound
UML
ASPECT-ORIENTED PROGRAMMING
Constraint propagation
Composition
Aspect composition patterns
Composite
Virtualization
Algorithms
Scalability
Controllers
Distributed Computing
Interval arithmetic
Concurrency
Capacity Planning
Program transformation
Cloud computing
Cloud Computing
Aspects
Software architecture
Security
Concurrent Computing
AOP
Model Transformation
Abstraction
Cluster
Cumulative
Design patterns
Program transformations
Chemical Semantics
MDE
Virtualisation
Programming languages
Global constraints
Contraintes
Cooperative systems
Migration
Consolidation
Explanations
Configuration
Model-Driven Engineering
Aspect-oriented programming
Adaptation
Constraint programming
Visitor
Programmation par aspects
Dynamic Consolidation
Explications
Components
OCL
Emulation
Algorithmes
Modular maintenance
Quality-of-Service QoS
SLA
Object-oriented programming
Optimization
Linux
Nombre de documents en texte ingéral
386
Nombre de références
498
Dépôts cumulés
Dépôts par type de document