717 search results - page 20 / 144 » Kill-safe synchronization abstractions |
ICESS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
ICALP
2010
Springer
14 years 3 months ago
2010
Springer
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
OMER
2001
14 years 9 days ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...
TSMC
2010
13 years 5 months ago
2010
Abstract--This paper is concerned with the networked synchronization control problem of coupled dynamic networks (CDNs) with time-varying delay. First, both the data packet dropout...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— The human communication exists in various situations of our daily life. For human – robot communication or robot – robot communication, it is useful to design a com...