126 search results - page 25 / 26 » Adaptive algorithms for the dynamic distribution and paralle... |
SIAMCO
2002
13 years 6 months ago
2002
As shown in [7], optimal control problems with either ODE or PDE dynamics can be solved efficiently using a setting of consistent approximations obtained by numerical discretizati...
PPOPP
2009
ACM
14 years 7 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
ISCC
2006
IEEE
14 years 13 days ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
PDP
2010
IEEE
13 years 4 months ago
2010
IEEE
—In the virtual execution environment, dynamic computing resource adjustment technique, configuring the computing resource of virtual machines automatically according to the actu...
PDP
2008
IEEE
14 years 24 days ago
2008
IEEE
Autonomic management can be used to improve the QoS provided by parallel/distributed applications. We discuss behavioural skeletons introduced in earlier work: rather than relying...