974 search results - page 27 / 195 » Hardware Synthesis from Term Rewriting Systems |
FPGA
2008
ACM
13 years 10 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
ENTCS
2007
13 years 8 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents new filter bank design methods for subband adaptive beamforming. In this work, we design analysis and synthesis prototypes for modulated filter banks so as t...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes a new architecture for achieving network virtualization using virtual NICs (VNICs) as the building blocks. The VNICs can be associated with dedicated and inde...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—We propose a novel synthesis technique for reversible logic based on ant colony optimization (ACO). In our ACO-based approach, reversible logic synthesis is formulated a...