Aller au menu Aller au contenu
Recherche Opérationnelle et Systèmes de Production
Laboratoire des Sciences pour la Conception, l'Optimisation et la Production de Grenoble
Recherche Opérationnelle et Systèmes de Production
Recherche Opérationnelle et Systèmes de Production

> GSCOP_Recherche > GSCOP_RechercheOpérationnelle

Séminaire ROSP le 2 avril à 14h30 - David Monniaux

Publié le 30 mars 2015
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
Colloque / Séminaire 2 avril 2015

Le prochain séminaire ROSP se déroulera le jeudi 2 avril à 14h30 en salle C219 (noté la salle inhabituelle) avec un exposé de David Monniaux (VERIMAG) ayant pour titre : "Worst-case execution time as a combinatorial optimization problem" (résumé en fin de mail).

vignette-seminaire-ROSP.jpg

vignette-seminaire-ROSP.jpg



Worst-case execution time as a combinatorial optimization problem



Bounds on the worst-case execution time of reactive control software, taking into account cache and pipeline effects, can be improved by taking into account infeasible paths. We express the problem as maximization within the solution set of a satisfiability modulo theory (SMT) problem. Unfortunately this generates formulas of a hard class for all solvers based on the DPLL(T) scheme (all production-grade solvers). We thus introduced cuts that make tractable previously intractable problems.

(papier avec Julien Henry et Claire Maiza et Mihail Asavoae publié à LCTES 2014)

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 31 mars 2015

  • Tutelle CNRS
  • Tutelle Grenoble INP
  • Université Joseph Fourier
  • Tutelle UMR
Univ. Grenoble Alpes