61 search results - page 7 / 13 » Region Synchronization in Message Passing Systems |
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
118
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
98
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
129
Voted
TC
2002
15 years 2 days ago
2002
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
113
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...