1795 search results - page 243 / 359 » On the Complexity of Circuit Satisfiability |
104
click to vote
DAC
2010
ACM
15 years 1 months ago
2010
ACM
This work proposes a new problem of identifying large and tangled logic structures in a synthesized netlist. Large groups of cells that are highly interconnected to each other can...
105
click to vote
BIOSYSTEMS
2007
15 years 27 days ago
2007
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...
113
click to vote
NC
2008
15 years 22 days ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
125
Voted
TC
2010
14 years 11 months ago
2010
—Due to the widespread use and inherent complexity of floating-point addition, much effort has been devoted to its speedup via algorithmic and circuit techniques. We propose a ne...
107
click to vote
TCAD
2010
14 years 7 months ago
2010
Artificial neural networks (ANNs) have shown great promise in modeling circuit parameters for computer aided design applications. Leakage currents, which depend on process paramete...