655 search results - page 59 / 131 » Coinduction in Concurrent Timed Systems |
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
116
click to vote
DEBS
2009
ACM
15 years 3 months ago
2009
ACM
The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more...
76
Voted
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Middleware-based database replication protocols require few or no changes in the database engine. As a consequence, they are more portable and flexible than kernel-based protocols...
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...
116
click to vote
EDBT
2011
ACM
14 years 3 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...