2 papers
cs.GT2017
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen
The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases,…
cs.GT2014
A Complete Solver for Constraint Games
Thi-Van-Anh Nguyen, Arnaud Lallouet
Game Theory studies situations in which multiple agents having conflicting objectives have to reach a collective decision. The question of a compact representation language for age…