434 search results - page 62 / 87 » A Benchmarking Technique for DBMS's with Advanced Data Model... |
SIGMETRICS
1998
ACM
13 years 12 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...
ECIR
2007
Springer
13 years 9 months ago
2007
Springer
An expert finding is a very common task among enterprise search activities, while its usual retrieval performance is far from the quality of the Web search. Query modeling helps t...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
DISCEX
2003
IEEE
14 years 27 days ago
2003
IEEE
We introduce a technique for detecting anomalous patterns in a categorical feature (one that takes values from a finite alphabet). It differs from most anomaly detection methods u...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...