Sciweavers

5790 search results - page 141 / 1158
» Distributed programming with distributed authorization
Sort
View
122
Voted
ICALP
2007
Springer
15 years 6 months ago
Distributed Computing with Advice: Information Sensitivity of Graph Coloring
Abstract. We study the problem of the amount of information (advice) about a graph that must be given to its nodes in order to achieve fast distributed computations. The required s...
Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas,...
ECOOP
2006
Springer
15 years 6 months ago
Modular Software Upgrades for Distributed Systems
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
Sameer Ajmani, Barbara Liskov, Liuba Shrira
EUROPAR
2008
Springer
15 years 4 months ago
Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions
nomic Management Abstractions M. Aldinucci1 , M. Danelutto1 , and P. Kilpatrick2 1 Dept. Computer Science, Univ. of Pisa, Italy 2 Dept. Computer Science, Queen's Univ. of Belf...
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick
139
Voted
EUROSYS
2010
ACM
15 years 8 months ago
XCPU3: Workload Distribution and Aggregation
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to the bus...
Pravin Shinde, Eric Van Hensbergen
LPAR
2005
Springer
15 years 7 months ago
Towards Automated Proof Support for Probabilistic Distributed Systems
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
Annabelle McIver, Tjark Weber