Sciweavers

2438 search results - page 370 / 488
» Scheduling problems for parallel and distributed systems
Sort
View
EUROPAR
2006
Springer
15 years 8 months ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter
ICCS
2004
Springer
15 years 10 months ago
The Genetic Algorithms Population Pluglet for the H2O Metacomputing System
Abstract. This paper describes GAPP – a framework for the execution of distributed genetic algorithms (GAs) using the H2O metacomputing environment. GAs may be a viable solution ...
Tomasz Ampula, Dawid Kurzyniec, Vaidy S. Sunderam,...
133
Voted
IPPS
2007
IEEE
15 years 11 months ago
The Adaptive Code Kitchen: Flexible Tools for Dynamic Application Composition
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
Pilsung Kang 0002, Mike Heffner, Joy Mukherjee, Na...
169
Voted
CONCUR
1997
Springer
15 years 8 months ago
Reachability Analysis of Pushdown Automata: Application to Model-Checking
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
Ahmed Bouajjani, Javier Esparza, Oded Maler
IPPS
2005
IEEE
15 years 10 months ago
A Powerful Direct Mechanism for Optimal WWW Content Replication
This paper addresses the problem of fine-grained data replication in large distributed systems, such as the Internet, so as to minimize the user access delays. With fine-grained d...
Samee Ullah Khan, Ishfaq Ahmad