1268 search results - page 61 / 254 » Verifying distributed systems: the operational approach |
PVLDB
2008
13 years 10 months ago
2008
We present SGuard, a new fault-tolerance technique for distributed stream processing engines (SPEs) running in clusters of commodity servers. SGuard is less disruptive to normal s...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
IEEESCC
2008
IEEE
14 years 5 months ago
2008
IEEE
Service Oriented Architectures (SOAs) have emerged as a preferred solution to tackle the complexity of large-scale, complex, distributed, and heterogeneous systems. Key to success...
PODC
2006
ACM
14 years 5 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...
ICMCS
2009
IEEE
13 years 9 months ago
2009
IEEE
Large-scale multimedia semantic concept detection requires realtime identification of a set of concepts in streaming video or large image datasets. The potentially high data volum...