The paper presents a novel strategy aimed at modelling instruction energy consumption of 32-bits microprocessors. Differently from former approaches, the proposed instruction-level...
Carlo Brandolese, Fabio Salice, William Fornaciari...
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
Walden Ko, Mark N. Yankelevsky, Dimitrios S. Nikol...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
Pedro U. Lima, Rodrigo M. M. Ventura, Pedro Apar&i...