1723 search results - page 56 / 345 » Predicting the Performance of IDA* using Conditional Distrib... |
126
Voted
DAIS
2006
15 years 5 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 ...
154
Voted
FORMATS
2003
Springer
15 years 9 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...
153
Voted
EDBT
2011
ACM
14 years 7 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...
151
Voted
ISAMI
2010
15 years 1 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...
103
Voted
IPPS
2010
IEEE
15 years 1 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 ...