1477 search results - page 85 / 296 » Cache Satellite Distribution Systems: Modeling and Analysis |
169
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
205
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
152
click to vote
PODC
1998
ACM
15 years 10 months ago
1998
ACM
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...
261
click to vote
ICPP
2006
IEEE
16 years 13 days ago
2006
IEEE
— This paper presents a parallel external-memory algorithm for performing a breadth-first traversal of an implicit graph on a cluster of workstations. The algorithm is a paralle...
160
click to vote
EUROPAR
2009
Springer
16 years 29 days ago
2009
Springer
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...