2451 search results - page 85 / 491 » Alternative Test Methods Using IEEE 1149.4 |
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Close-up (CU) is a photographic technique which tightly frames a person or an object. In movies, it is applied to guide audience attention and to evoke audience emotion. In this p...
EMNLP
2010
13 years 5 months ago
2010
For resource-limited language pairs, coverage of the test set by the parallel corpus is an important factor that affects translation quality in two respects: 1) out of vocabulary ...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, an adaptive sampling method is proposed for the statistical SRAM cell analysis. The method is composed of two components. One part is the adaptive sampler that manip...
QSIC
2003
IEEE
14 years 1 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
DATE
2010
IEEE
14 years 4 days ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...