Sciweavers

1682 search results - page 7 / 337
» Applying Conventional Testing Techniques for Class Testing
Sort
View
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
15 years 10 months ago
A Novel Functional Test Generation Method for Processors Using Commercial ATPG
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
Raghuram S. Tupuri, Jacob A. Abraham
AOSD
2011
ACM
15 years 25 days ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
ICASSP
2010
IEEE
15 years 6 months ago
Voice activity detection using harmonic frequency components in likelihood ratio test
This paper proposes a new statistical model-based likelihood ratio test (LRT) VAD to obtain reliable speech / non-speech decisions. In the proposed method, the likelihood ratio (L...
Lee Ngee Tan, Bengt J. Borgstrom, Abeer Alwan
ICMCS
2006
IEEE
173views Multimedia» more  ICMCS 2006»
15 years 12 months ago
Applying Supervised Classifiers Based on Non-negative Matrix Factorization to Musical Instrument Classification
In this paper, a new approach for automatic audio classification using non-negative matrix factorization (NMF) is presented. Training is performed onto each audio class individua...
Emmanouil Benetos, Margarita Kotti, Constantine Ko...
TAP
2009
Springer
178views Hardware» more  TAP 2009»
16 years 10 days ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...