Sciweavers

6601 search results - page 118 / 1321
» Optimal Distributed Arc-Consistency
Sort
View
IPPS
1999
IEEE
14 years 1 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
GECCO
2009
Springer
124views Optimization» more  GECCO 2009»
14 years 1 months ago
Black-box optimization benchmarking for noiseless function testbed using an EDA and PSO hybrid
This paper benchmarks an Estimation of Distribution Algorithm (EDA) and Particle Swarm Optimizer (PSO) on noisefree BBOB 2009 testbed. The algorithm is referred to as EDA-PSO and ...
Mohammed El-Abd, Mohamed S. Kamel
WWW
2004
ACM
14 years 9 months ago
Distributed location aware web crawling
Distributed crawling has shown that it can overcome important limitations of the today's crawling paradigm. However, the optimal benefits of this approach are usually limited...
Odysseas Papapetrou, George Samaras
JSAC
2006
108views more  JSAC 2006»
13 years 9 months ago
Distributed Utility Maximization for Network Coding Based Multicasting: A Shortest Path Approach
One central issue in practically deploying network coding is the adaptive and economic allocation of network resource. We cast this as an optimization, where the net-utility
Yunnan Wu, Sun-Yuan Kung
CONCURRENCY
2000
103views more  CONCURRENCY 2000»
13 years 9 months ago
Cooperating distributed garbage collectors for clusters and beyond
The contribution of this paper is twofold. First a distributed garbage collector (DGC) is presented that is optimized for remote method invocation in reliable networks, such as cu...
Michael Philippsen