717 search results - page 20 / 144 » Kill-safe synchronization abstractions |
145
click to vote
ICESS
2005
Springer
15 years 11 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...
151
click to vote
ICALP
2010
Springer
15 years 10 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-...
190
click to vote
OMER
2001
15 years 6 months 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 ...
185
Voted
TSMC
2010
15 years 6 days 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...
131
click to vote
ICRA
2007
IEEE
15 years 12 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...