4604 search results - page 166 / 921 » Concurrency in Synchronous Systems |
101
click to vote
CONCURRENCY
2002
15 years 3 months ago
2002
We describe an information system architecture for the ACES (Asia-Pacific Cooperation for Earthquake Simulation) community. It addresses several key features of the field
122
click to vote
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
138
click to vote
LOBJET
2000
15 years 3 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
106
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Event-based programming has been highly touted in recent years as the best way to write highly concurrent applications. Having worked on several of these systems, we now believe t...
124
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...