1399 search results - page 101 / 280 » Verification of Test Suites |
137
Voted
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
148
click to vote
IOLTS
2008
IEEE
15 years 11 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
153
click to vote
ICIAP
2007
ACM
15 years 10 months ago
2007
ACM
Fusion of multiple face and fingerprint matchers based on different biometrics for personal authentication has been investigated in the last years. However, the performance achiev...
124
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present an improved method of anchor models for speaker verification. Anchor model is the method that represent a speaker by his relativity of a set of other sp...
156
click to vote
WSC
2000
15 years 5 months ago
2000
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...