Sciweavers

41650 search results - page 379 / 8330
» Distribution of
Sort
View
ICCS
2001
Springer
15 years 11 months ago
Distributed Name Service in Harness
Abstract. The Harness metacomputing framework is a reliable and flexible environment for distributed computing. A shortcoming of the system is that services are dependent on a nam...
Tomasz Tyrakowski, Vaidy S. Sunderam, Mauro Miglia...
LSSC
2001
Springer
15 years 11 months ago
IC2D: Interactive Control and Debugging of Distribution
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
Françoise Baude, Alexandre Bergel, Denis Ca...
PAPM
2001
Springer
126views Mathematics» more  PAPM 2001»
15 years 11 months ago
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
Gabriel G. Infante López, Holger Hermanns, ...
CLUSTER
2000
IEEE
15 years 11 months ago
Distributed Processor Allocation in Multicomputers
Current processor allocation techniques for multicomputers are based on centralized front-end based algorithms. As a result, the applied strategies are usually restricted to stati...
Rose Rose, Hans-Ulrich Heiss, Philippe Olivier Ale...
FOCS
2000
IEEE
15 years 11 months ago
Linear Waste of Best Fit Bin Packing on Skewed Distributions
We prove that Best Fit bin packing has linear waste on the discrete distribution Ufj kg (where items are drawn uniformly from the set f1=k 2=3 j=kg) for sufficiently large k when...
Claire Kenyon, Michael Mitzenmacher