6014 search results - page 517 / 1203 » Structural Testing with Use Cases |
154
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
We report work on the first component of a two stage speech recognition architecture based on phonological features rather than phones. The paper reports experiments on three phon...
142
click to vote
CCE
2005
15 years 6 months ago
2005
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal catalysts is presented in this paper. Previous CAMD rese...
158
click to vote
CASC
2007
Springer
16 years 29 days ago
2007
Springer
A common way of implementing multivariate polynomial multiplication and division is to represent polynomials as linked lists of terms sorted in a term ordering and to use repeated ...
176
click to vote
CCS
2007
ACM
16 years 29 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
167
click to vote
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
Effective use of CPU data caches is critical to good performance, but poor cache use patterns are often hard to spot using existing execution profiling tools. Typical profilers at...