Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations Vincent Kherbache, Fabien Hermenier, Eric Madelaine

Source URL: vincent.kherbache.fr

Ordonnancement contrôlé de migrations à chaud Vincent Kherbache, Fabien Hermenier, Eric Madelaine

Source URL: vincent.kherbache.fr

Planning live-migrations to prepare servers for maintenance Vincent Kherbache, Fabien Hermenier, Eric Madelaine

Source URL: vincent.kherbache.fr

Behavioural Verification of Distributed Components Ludovic Henrio and Eric Madelaine Inria Sophia-Antipolis-I3S-CNRS-University of Nice Sophia-Antipolis , This paper presents

Source URL: www.cs.unibo.it

Memory and Network Aware Scheduling of Virtual Machine Migrations∗ Vincent Kherbache†, Eric Madelaine‡ Fabien Hermenier§

Source URL: eurosys2015.labri.fr

Quantified Constraints Towards a trichotomy for quantified H-coloring B. Martin and F. Madelaine University of Durham

Source URL: www.bedewell.com

The Preservation Properties of Positive Horn Logic Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. Florent Madelaine

Source URL: www.bedewell.com

A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin

Source URL: www.fields.utoronto.ca

• Mathematics
• Theoretical computer science
• Abstract algebra
• FO
• Finite model theory
• Sheaf
• Boolean satisfiability problem
• Uniform space

Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine

Source URL: www.bedewell.com

• Logic
• Model theory
• Abstraction
• Mathematical logic
• Semantics
• Predicate logic
• Metalogic
• Structure
• Homomorphism
• Interpretation
• Symbol
• First-order logic