4543 search results - page 547 / 909 » Interactive Distributed Configuration |
199
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
175
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
—The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today’s distributed systems. It does so by adopting a revolut...
170
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel applications typically run in batch mode, sometimes after long waits in a scheduler queue. In some situations, it would be desirable to interactively add new functionalit...
173
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
162
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. BitTorrent users and consumer ISPs are often pictured as having opposite interests, with end-users aggressively trying to improve their download times, while ISPs throttl...