15840 search results - page 38 / 3168 » The Control of Synchronous Systems |
ECSCW
2001
13 years 9 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
ICW
2005
IEEE
14 years 1 months ago
2005
IEEE
Large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be foreseeable in the near future. Since nodes in such a system commun...
DATE
2000
IEEE
14 years 4 days ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
ICONS
2009
IEEE
13 years 5 months ago
2009
IEEE
The aim of this paper is to address the problem of correctly dimensioning real-time embedded systems. It is well known that computers which control systems are greatly affected by...
DC
2007
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
13 years 7 months ago
This paper provides description and analysis of a new clock synchronization algorithm for synchronous and partially synchronous systems with unknown upper and lower bounds on delay...