461 search results - page 81 / 93 » An Algorithm for Bi-Decomposition of Logic Functions |
138
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Improving logic capacity by time-sharing, dynamically reconfigurable FPGAs are employed to handle designs of high complexity and functionality. In this paper, we use a novel topo...
133
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
172
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
145
click to vote
FINTAL
2006
15 years 9 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
150
click to vote
ICWN
2004
15 years 7 months ago
2004
Abstract-- Many clustering protocols for mobile ad hoc networks (MANETs) have been proposed in the literature. With only one exception so far [1], all these protocols are proactive...