3495 search results - page 44 / 699 » On the random satisfiable process |
91
Voted
FC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A certificate of authenticity (COA) is an inexpensive physical object with a random and unique structure S which is hard to nearexactly replicate. An inexpensive device ...
98
Voted
ATS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
102
Voted
ITC
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
104
Voted
LREC
2010
15 years 2 months ago
2010
In this paper, we present the multilingual Sense Folder Corpus. After the analysis of different corpora, we describe the requirements that have to be satisfied for evaluating sema...
137
Voted
CDC
2008
IEEE
15 years 25 days ago
2008
IEEE
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...