index - Département informatique
 

Mots-clés

Model checking Model-Driven Engineering Optimization Scheduling Composition Components Cartography ASPECT-ORIENTED PROGRAMMING Branch and bound Migration Constraint programming Virtualization Dynamic Consolidation Concurrent Computing Reactivity Capacity Planning Constraints Linux Reconfiguration Distributed file systems Elasticity AOP Program transformation Subtyping Model Transformation OCL Programmation par contraintes Aspects Adaptation Constraint Programming Calibration Java Auto-scaling Aspect-oriented programming Aspect-Oriented Programming UML Programming languages Refactoring Cloud computing Global constraints Contraintes CBSE Distributed systems Security Composite ATL Service Level Agreement SLA CTL Chemical Semantics Configuration Theory Program transformations Compiler correctness Framework Concurrency Explanations Scalability Cluster Object-oriented programming Emulation Algorithms Explications SLA Combinatorial optimization High performance Service-Oriented Computing Controllers Modular maintenance Artificial intelligence Consolidation Visitor QoS Interoperability Architecture Design patterns Aspect interference analysis Design Global optimization Object-Oriented Programming Ordonnancement Constraint propagation Aspect composition Analyse de mutations Programmation par aspects Autonomous systems Aspect composition patterns Fractal Abstraction CP-based column generation Cloud Computing Quality-of-Service QoS MDE Interval arithmetic IaaS Distributed Computing Software architecture Algorithmes Virtualisation Languages Model-driven engineering

 

 

 

 

 

Nombre de documents en texte ingéral

399

 

Nombre de références

492

Dépôts cumulés

Dépôts par type de document