1723 search results - page 56 / 345 » Predicting the Performance of IDA* using Conditional Distrib... |
154
click to vote
DAIS
2006
15 years 7 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
190
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
181
click to vote
EDBT
2011
ACM
14 years 9 months ago
2011
ACM
A question that database administrators (DBAs) routinely need to answer is how long a batch query workload will take to complete. This question arises, for example, while planning...
184
click to vote
ISAMI
2010
15 years 4 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
129
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we study the importance of languages for the specification of algorithms in high performance Grid computing. We present one such language, the Algorithm Definition ...