15840 search results - page 89 / 3168 » The Control of Synchronous Systems |
CONCUR
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
- Human-robot communication is an important subject for housekeeping, elderly care and entertainment robots. To make a natural communication entrainment between human and robot emo...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
For many audio-visual applications, the integration and synchronization of audio and video signals is essential. The objective of this paper is to develop a system that displays t...
ISVLSI
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper investigates the performance and power dissipation of Globally Asynchronous Locally Synchronous (GALS) multi-processor systems. We show that communication loops are a s...