28821 search results - page 152 / 5765 » Distributed and parallel systems |
151
click to vote
PODC
1994
ACM
15 years 7 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
121
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Time-sharing operating systems may delay application processing of incoming messages because other processes are scheduled when the messages arrive. In this paper, we present a sim...
110
click to vote
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
Workflow management systems (WfMS) have become a widely accepted software technology, which enables the effective management, execution, and monitoring of comput
138
click to vote
ICPPW
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—A probabilistic analytical framework for decentralized load balancing (LB) strategies for heterogeneous distributed-computing systems (DCSs) is presented with the overal...
120
Voted
ICDCS
1990
IEEE
15 years 7 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...