499 search results - page 54 / 100 » A Three-Phase Algorithm for Computer Aided siRNA Design |
SIGGRAPH
2000
ACM
15 years 6 months ago
2000
ACM
This paper introduces and presents a solution to the “Escherization” problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
133
Voted
DAC
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents MOJITO, a system which optimizes across thousands of analog circuit topologies simultaneously, and returns a set of sized topologies that collectively provide ...
109
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
100
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
In this paper, we present a new method to improve global routing results. By using an amplified congestion estimate to influence a rip-up and reroute approach, we obtain substanti...
139
click to vote
DAC
2005
ACM
15 years 4 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...