tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
In this paper we propose a novel computational technique to solve the Eikonal equation. The proposed method manages the list of active nodes and iteratively updates the solutions ...
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
Collins G. Assisi, Viktor K. Jirsa, J. A. Scott Ke...