Sciweavers

3379 search results - page 310 / 676
» Parallel cross-entropy optimization
Sort
View
IPPS
2007
IEEE
15 years 10 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
ISPAN
2005
IEEE
15 years 9 months ago
Increasing Sensor Network Lifetime by Identifying and Leveraging Nodes with Excess Energy In Heterogeneous Networks
We propose and evaluate wireless sensor routing algorithms designed to extend the lifetime of a heterogeneous wireless sensor network. The network is heterogeneous in the sensors...
Keith Hellman, Michael Colagrosso
PODC
2005
ACM
15 years 9 months ago
Building scalable and robust peer-to-peer overlay networks for broadcasting using network coding
We propose a scheme for building peer-to-peer overlay networks for broadcasting using network coding. The scheme addresses many practical issues such as scalability, robustness, c...
Kamal Jain, László Lovász, Ph...
PPSN
2004
Springer
15 years 9 months ago
A Hybrid GRASP - Evolutionary Algorithm Approach to Golomb Ruler Search
We consider the problem of finding small Golomb rulers, a hard combinatorial optimization task. This problem is here tackled by means of a hybrid evolutionary algorithm (EA). This...
Carlos Cotta, Antonio J. Fernández
135
Voted
PPSN
2004
Springer
15 years 9 months ago
Optimising Cancer Chemotherapy Using Particle Swarm Optimisation and Genetic Algorithms
Cancer chemotherapy is a complex treatment mode that requires balancing the benefits of treating tumours using anti-cancer drugs with the adverse toxic side-effects caused by these...
Andrei Petrovski, Bhavani Sudha, John A. W. McCall