— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...
Sonia Bergamaschi, Gionata Gelati, Francesco Guerr...
We present a description of an urban simulation system work in progress. The goal is to create a large-scale immersive simulation of Dublin City that can then be used as a researc...
In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this g...
This is a summary of the most important results presented in the author's PhD thesis (Spanjaard, 2003). This thesis, written in French, was defended on 16 December 2003 and su...
Abstract. Loop-carried code placement (LCCP) is able to remove redundant computations that cannot be recognized by traditional code motion techniques. However, this comes possibly ...