28821 search results - page 152 / 5765 » Distributed and parallel systems |
173
Voted
PODC
1994
ACM
15 years 8 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...
136
click to vote
IPPS
1999
IEEE
15 years 9 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...
126
click to vote
EDOC
2006
IEEE
15 years 8 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
149
click to vote
ICPPW
2009
IEEE
15 years 11 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...
135
click to vote
ICDCS
1990
IEEE
15 years 8 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...