1722 search results - page 147 / 345 » Generating Tests from Counterexamples |
96
Voted
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
Recent research for testable designs has focussed on inserting test structures by re-arranging an Register-TransferLevel (RTL) data path generated from a behavioural description t...
108
click to vote
FGR
2004
IEEE
15 years 4 months ago
2004
IEEE
Data collection for both training and testing a classifier is a tedious but essential step towards face detection and recognition. All of the statistical methods suffer from this ...
136
Voted
TVLSI
2008
15 years 2 days ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
80
Voted
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
103
click to vote
FLAIRS
2006
15 years 2 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...