Sciweavers

18493 search results - page 75 / 3699
» Timers for Distributed Systems
Sort
View
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
14 years 2 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker
BIOADIT
2006
Springer
14 years 24 days ago
Bio-inspired Organization for Multi-agents on Distributed Systems
Abstract. This paper presents a middleware system for multi-agents on a distributed system as a general test-bed for bio-inspired approaches. The middleware is unique to other appr...
Ichiro Satoh
HPDC
1993
IEEE
14 years 1 months ago
Resource Management for Distributed Parallel Systems
Multiprocessor systems should exist in the the larger context of distributed systems, allowing multiprocessor resources to be shared by those that need them. Unfortunately, typica...
B. Clifford Neuman, Santosh Rao
CONCUR
2003
Springer
14 years 2 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
IPPS
2007
IEEE
14 years 3 months ago
A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
Hein Meling