Aller au menu Aller au contenu
Groupe recherche opérationnelle de Grenoble
Laboratoire des Sciences pour la Conception, l'Optimisation et la Production de Grenoble
Groupe recherche opérationnelle de Grenoble
Groupe recherche opérationnelle de Grenoble

> Recherche > Groupe recherche opérationnelle de Grenoble

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 cet article Facebook Twitter Linked In
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).



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 cet article Facebook Twitter Linked In

mise à jour le 31 mars 2015

Université Grenoble Alpes