Sciweavers

229 search results - page 17 / 46
» On-Chip Test Generation Using Linear Subspaces
Sort
View
95
Voted
VMV
2001
101views Visualization» more  VMV 2001»
15 years 3 months ago
Object Localization Using Linear Adaptive Filters
We present a novel approach to localization of objects in clutter images with the use of linear adaptive filters in a two-object classifier: target object versus clutter object. A...
Ben-Zion Shaick, Leonid P. Yaroslavsky
211
Voted
CP
2009
Springer
16 years 3 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
ICST
2009
IEEE
15 years 5 days ago
Euclide: A Constraint-Based Testing Framework for Critical C Programs
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
Arnaud Gotlieb
127
Voted
DAC
2000
ACM
16 years 3 months ago
Self-test methodology for at-speed test of crosstalk in chip interconnects
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
Xiaoliang Bai, Sujit Dey, Janusz Rajski
176
Voted
VLSISP
2010
254views more  VLSISP 2010»
15 years 24 days ago
Manifold Based Local Classifiers: Linear and Nonlinear Approaches
Abstract In case of insufficient data samples in highdimensional classification problems, sparse scatters of samples tend to have many ‘holes’—regions that have few or no nea...
Hakan Cevikalp, Diane Larlus, Marian Neamtu, Bill ...