3456 search results - page 108 / 692 » Algorithms for Interface Synthesis |
BMCBI
2011
13 years 1 months ago
2011
Background: In 2004, we presented a web resource for stimulating the search for novel RNAs, RNA-As-Graphs (RAG), which classified, catalogued, and predicted RNA secondary structur...
ICIP
1999
IEEE
14 years 12 months ago
1999
IEEE
The performance of subband image coders depends on the proper choice of filter banks. It is therefore desirable to find algorithms for optimizing the filter banks. A theory for fi...
ISMVL
2010
IEEE
14 years 3 months ago
2010
IEEE
In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work [12] and generates a cascade of inverted-control-Toffoli gates from t...
ASPDAC
2001
ACM
14 years 1 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...