1399 search results - page 102 / 280 » Verification of Test Suites |
137
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
135
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— During volume testing, test application time, test data volume and high performance automatic test equipment (ATE) are the major cost factors. Embedded testing including builti...
126
click to vote
PERVASIVE
2010
Springer
15 years 6 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
142
click to vote
ENTCS
2002
15 years 4 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
153
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...