5216 search results - page 695 / 1044 » Planning as Model Checking |
215
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
Modern disk drives read-ahead data and reorder incoming requests in a workload-dependent fashion. This improves their performance, but makes simple analytical models of them inade...
191
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Reverse-engineering regulatory networks is one of the central challenges for computational biology. Many techniques have been developed to accomplish this by utilizing...
209
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
199
click to vote
EDBT
2011
ACM
14 years 10 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...
238
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— Accurate query performance prediction (QPP) is central to effective resource management, query optimization and query scheduling. Analytical cost models, used in current genera...