7393 search results - page 1034 / 1479 » Synthesis-for-testability using transformations |
157
click to vote
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
127
click to vote
NPAR
2004
ACM
15 years 10 months ago
2004
ACM
We present an algorithm for simulating the cracks found in Batik wax painting and dyeing technique used to make images on cloth. The algorithm produces cracks similar to those fou...
161
click to vote
PARA
2004
Springer
15 years 10 months ago
2004
Springer
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
152
click to vote
PCM
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, a novel face recognition method based on Gabor-wavelet and linear discriminant analysis (LDA) is proposed. Given training face images, discriminant vectors are compu...
112
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
Predicated execution enables the removal of branches wherein segments of branching code are converted into straight-line segments of conditional operations. An important, but gene...