4809 search results - page 762 / 962 » Scalable Analysis of Scalable Systems |
163
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
Network bottlenecks, firewalls, restrictions on IP Multicast availability and administrative policies have long prevented the use of multicast even where the fit seems obvious. ...
189
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
155
click to vote
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we describe Maestro, a dataflow computation framework for Ibis, our Java-based grid middleware. The novelty of Maestro is that it is a self-organizing peer-to-peer s...
184
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
151
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
The Web Services Resource Framework (WS-RF) and the Web Services Notification (WS-N) specifications are a crucial component of Grid infrastructures. They provide a standardized int...