6105 search results - page 973 / 1221 » A Parallel Algorithm for Bound-Smoothing |
156
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
The study of biological networks and network motifs can yield significant new insights into systems biology. Previous methods of discovering network motifs ? network-centric subgra...
166
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
196
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
The research community has witnessed a large interest in monitoring large scale distributed systems. In these applications typically we wish to monitor a global system condition wh...
179
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— We extend the Evolution Strategy with Covariance Matrix Adaptation (CMA-ES) by collaborative concepts from Particle Swarm Optimization (PSO). The proposed Particle Swarm CMA-ES...
211
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
Long running High Performance Computing (HPC) applications at scale must be able to tolerate inevitable faults if they are to harness current and future HPC systems. Message Passi...