Sciweavers

6105 search results - page 215 / 1221
» A Parallel Algorithm for Bound-Smoothing
Sort
View
143
Voted
IPPS
2006
IEEE
16 years 13 days ago
Algorithmic models for sensor networks
Developing algorithms for sensor networks—and proving their correctness and performance—, requires simplifying but still realistic models. This paper surveys various models in...
Stefan Schmid, Roger Wattenhofer
DAPSYS
2004
Springer
15 years 11 months ago
Analysis of the Multi-Phase Copying Garbage Collection Algorithm
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...
Norbert Podhorszki
PPSN
2004
Springer
15 years 11 months ago
Optimising the Performance of a Formula One Car Using a Genetic Algorithm
Formula One motor racing is a rich sport that spends millions on research and development of highly optimized cars. Here we describe the use of a genetic algorithm to optimize 66 s...
Krzysztof Wloch, Peter J. Bentley
95
Voted
PODC
1987
ACM
15 years 10 months ago
Hierarchical Correctness Proofs for Distributed Algorithms
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...
Nancy A. Lynch, Mark R. Tuttle
EUROPAR
2008
Springer
15 years 8 months ago
The Impact of Clustering on Token-Based Mutual Exclusion Algorithms
We present in this article a theoretical study and performance results about the impact of the Grid architecture on token-based mutual exclusion algorithms. To this end, both the o...
Julien Sopena, Luciana Arantes, Fabrice Legond-Aub...