Sciweavers

18924 search results - page 190 / 3785
» Conformance of Distributed Systems
Sort
View
BIRTHDAY
2007
Springer
16 years 19 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
IPPS
2007
IEEE
16 years 22 days ago
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
Rafik Henia, Razvan Racu, Rolf Ernst
ICDE
2006
IEEE
147views Database» more  ICDE 2006»
16 years 15 days ago
Optimizing Multiple Queries in Distributed Data Stream Systems
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...
Sangeetha Seshadri, Vibhore Kumar, Brian F. Cooper
PDP
2005
IEEE
16 years 23 hour ago
Distributed Local Resolution of Boolean Equation Systems
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
Christophe Joubert, Radu Mateescu
WOWMOM
2005
ACM
81views Multimedia» more  WOWMOM 2005»
16 years 6 hour ago
Robust Distributed Systems Achieving Self-Management through Inference
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
Willem de Bruijn, Herbert Bos, Henri E. Bal