378 search results - page 57 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
FORTE
2004
15 years 2 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
104
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
137
click to vote
PAMI
2008
15 years 1 months ago
2008
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
100
click to vote
BIRTHDAY
2007
Springer
15 years 7 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
154
click to vote
JCB
2002
15 years 28 days ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...