7253 search results - page 833 / 1451 » Agile Performance Testing |
205
click to vote
LOPSTR
2004
Springer
16 years 1 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
182
click to vote
LSGRID
2004
Springer
16 years 1 months ago
2004
Springer
In this study, a new Genetic Algorithm (GA) using the Tabu · Local Search mechanism is proposed. The GA described in this paper is considered a Mega Process GA, which has an effe...
194
click to vote
VLDB
2004
ACM
16 years 1 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
201
click to vote
ECCV
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...
179
click to vote
ACSD
2003
IEEE
16 years 29 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...