Sciweavers

4208 search results - page 279 / 842
» Challenges in Evaluating Distributed Algorithms
Sort
View
WDAG
1995
Springer
109views Algorithms» more  WDAG 1995»
15 years 8 months ago
Faster Possibility Detection by Combining Two Approaches
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
Scott D. Stoller, Fred B. Schneider
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
15 years 11 months ago
Developing Topology Discovery in Event-B
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
IPPS
1999
IEEE
15 years 9 months ago
Evolution-Based Scheduling of Fault-Tolerant Programs on Multiple Processors
The paper introduces a family of scheduling problems called fault-tolerant programs scheduling FTPS. Since FTPS problems are, in general, computationally di cult, a challenge is to...
Piotr Jedrzejowicz, Ireneusz Czarnowski, Henryk Sz...
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
15 years 11 months ago
Reducing the space-time complexity of the CMA-ES
A limited memory version of the covariance matrix adaptation evolution strategy (CMA-ES) is presented. This algorithm, L-CMA-ES, improves the space and time complexity of the CMA-...
James N. Knight, Monte Lunacek
CIKM
2008
Springer
15 years 7 months ago
Energy-efficient skyline query processing and maintenance in sensor networks
The skyline query, as an important operator in databases for multi-preference analysis and decision making, has received much attention recently due to its wide application backgr...
Weifa Liang, Baichen Chen, Jeffrey Xu Yu