15840 search results - page 67 / 3168 » The Control of Synchronous Systems |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
TCAD
2002
13 years 7 months ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
ICDCSW
2005
IEEE
14 years 1 months ago
2005
IEEE
Today’s multimedia environments are characterized by different stationary and a growing number of mobile devices, like PDAs or even mobile phones. To meet their requirements reg...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...