1761 search results - page 52 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
ESANN
2008
13 years 10 months ago
2008
The evaluation of a standard Gaussian process regression model takes time linear in the number of training data points. In this paper, the models are approximated in the feature sp...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
FMICS
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...