9 citations · 14 across the 3 of their papers we have counts for
3 papers
Indefinite waitings in MIRELA systems
Johan Arcile, Jean-Yves Didier, Hanna Klaudel +2
MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time.…
A Decidable Characterization of a Graphical Pi-calculus with Iterators
Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to…
Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms
Vincent Nélis, Joël Goossens, Nicolas Navet +2
In this paper, we address the power-aware scheduling of sporadic constrained-deadline hard real-time tasks using dynamic voltage scaling upon multiprocessor platforms. We propose t…