395 search results - page 39 / 79 » Encoding Algorithms for Logic Synthesis |
118
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
108
click to vote
ICCAD
1995
IEEE
15 years 6 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
144
Voted
EUROGP
2009
Springer
15 years 7 months ago
2009
Springer
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
111
Voted
AAAI
2006
15 years 3 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
149
click to vote
FOSSACS
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...