Efficient computation of succinct strategies, with applications to real-time scheduler synthesis

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence (April 2014: Grenoble, France), 1st Cassting Workshop ETAPS 2014
Publication Publié, 2014-01-01

Publication dans des actes

Titre:	Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
Auteur:	Geeraerts, Gilles; Goossens, Joël; Stainer, Amélie
Informations sur la publication:	(April 2014: Grenoble, France), 1st Cassting Workshop ETAPS 2014
Statut de publication:	Publié, 2014-01-01
Sujet CREF:	Informatique générale
Langue:	N/A

Simulation intervals for uniprocessor real-time schedulers with preemption delay
par Goossens, Joël , Masson, Damien
Publication 2022-06-07
Workload assignment for global real-time scheduling on unrelated clustered platforms
par Bertout, Antoine , Goossens, Joël , Jamil, Roy , Poczekajlo, Xavier
Publication 2022-03-01
Connaissances du contenu et connaissances technologiques des enseignants en Informatique en milieu francophone
par Komis, Vassilis K.V. , Bachy, Sylviane , Goletti, Olivier O.G. , Parriaux, Gabriel , Rafalska, Maryna , Lavidas, KONSTANTINOS L.K
Publication 2022-12-20
ONE-CLOCK PRICED TIMED GAMES WITH NEGATIVE WEIGHTS
par Brihaye, Thomas , Geeraerts, Gilles , Haddad, Axel , Lefaucheux, Engel , Monmege, Benjamin
Publication 2022
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.