1806 search results - page 255 / 362 » Some Functions Computable with a Fused-Mac |
84
Voted
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper is an attempt to answer the following question: how much improvement can be obtained in logic decomposition by using Boolean divisors? Traditionally, the existence of t...
98
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...
78
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
93
Voted
STOC
2002
ACM
16 years 28 days ago
2002
ACM
The collision problem is to decide whether a function X : {1, . . . , n} {1, . . . , n} is one-to-one or two-to-one, given that one of these is the case. We show a lower bound of...
85
Voted
PERCOM
2005
ACM
16 years 6 days ago
2005
ACM
With the advances in mobile technologies is now possible to support learners and teachers activities on the move. We analyzed the functionalities that should be provided by a gene...