505 search results - page 39 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
106
click to vote
BERTINORO
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
SC
2003
ACM
15 years 5 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
FOAL
2008
ACM
15 years 1 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
112
click to vote
ICS
2007
Tsinghua U.
15 years 6 months ago
2007
Tsinghua U.
Observing the workload on a computer system during a short (but not too short) time interval may lead to distributions that are significantly different from those that would be o...
104
click to vote
WISES
2003
15 years 1 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...