3031 search results - page 163 / 607 » Model Driven Testing Based on Test History |
193
click to vote
HPCA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes the use of formal feedback control theory as a way to implement adaptive techniques in the processor architecture. Dynamic thermal management (DTM) is used as ...
163
click to vote
COLING
2002
15 years 6 months ago
2002
Most current sentence alignment approaches adopt sentence length and cognate as the alignment features; and they are mostly trained and tested in the documents with the same style...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
150
click to vote
ASPDAC
2006
ACM
2006
ACM
Equivalent circuit modeling of guard ring structures for evaluation of substrate crosstalk isolation
16 years 11 days ago
— A substrate-coupling equivalent circuit can be derived for an arbitrary guard ring test structure by way of F-matrix computation. The derived netlist represents a unified impe...
173
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Robustness and accuracy are major issues in real-time tracking. This paper describes a reliable tracking for markerless planar objects based on the fusion of visual cues and on th...