• Français
  • Anglais
  • Impacts R&D
  • Blog
  • Newsletter
  • Seminar@SystemX
  • Presse
  • Nous contacter
IRT SystemX
  • Accueil
  • À propos de l’IRT
    • L’IRT SystemX
    • À l’international
    • L’ouverture vers l’Europe
    • Organisation
    • Domaines de compétences
    • Partenaires
    • Écosystème
  • Offre
    • Modalités de partenariat
    • Ingénierie de formation
    • StartAI
  • Activités de recherche
    • Secteurs applicatifs
    • Recherches exploratoires
    • Programmes de recherche
    • Annuaire des projets
    • Plateformes technologiques
  • Carrières
    • Offres d’emploi
    • Témoignages
  • Agenda
  • Actualités
Sélectionner une page
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

par Aurélie | Oct 30, 2014 | Publications

Antoine Jaouën, Etienne Borde, Laurent Pautet, Thomas Robert (IMT / IRT SystemX) Résumé ARINC 653 systems have to comply with strong requirements with respect to time determinism and resource consumption. However, interacting processes may introduce significant...
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5

Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5

par Aurélie | Oct 30, 2014 | Publications

Achim D. Brucker (SAP), Frédéric Tuong (IRT SystemX), Burkhart Wolff (LRI) Résumé The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly known as diagrammatic modeling language (e.g., visualizing...
Analyzing cacheable traffic in isp access networks for micro cdn applications via content-centric networking

Analyzing cacheable traffic in isp access networks for micro cdn applications via content-centric networking

par Aurélie | Oct 30, 2014 | Publications

Claudio Imbrenda (Orange), Luca Muscariello (Orange), Dario Rossi (Télécom ParisTech) Résumé Web content coming from outside the ISP is today skyrocketing, causing significant additional infrastructure costs to network operators. The reduced marginal revenues left to...
Online Algorithm for Servers Consolidation in Cloud Data Centers

Online Algorithm for Servers Consolidation in Cloud Data Centers

par Aurélie | Oct 30, 2014 | Publications

Makhlouf Hadji, Paul Labrogère (IRT SystemX) Résumé Servers consolidation (or Repacking) in clouds, consists to reassign services to physical servers, in order to efficiently reduce cost and improve infrastructure utilization. A smart placement of virtual resources is...
A Virtual Machine Repacking in Clouds: Faster Live Migration Algorithms

A Virtual Machine Repacking in Clouds: Faster Live Migration Algorithms

par Aurélie | Oct 30, 2014 | Publications

Makhlouf Hadji, Paul Labrogère (IRT SystemX) Résumé Repacking in clouds, or the reassignment of services to physical servers, is required to reduce cost and improve infrastructure utilization. Initial provisioning through smart placement is not sufficient to ensure...
« Entrées précédentes
Entrées suivantes »

Copyright © 2025 IRT SystemX|Développé par nea|Fièrement propulsé par WordPress