3047 search results - page 287 / 610 » On the Meaning of Logical Completeness |
185
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
249
click to vote
ASPDAC
2004
ACM
16 years 1 months ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...
227
click to vote
RTA
2004
Springer
16 years 28 days ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
197
click to vote
ISLPED
2003
ACM
16 years 25 days ago
2003
ACM
This paper develops a technique that uniquely combines the advantages of static scheduling and dynamic scheduling to reduce the energy consumed in modern superscalar processors wi...
204
click to vote
COCO
2003
Springer
16 years 24 days ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...