894 search results - page 12 / 179 » Optimizations for LTL Synthesis |
DAC
1999
ACM
15 years 11 months ago
1999
ACM
DAC
1999
ACM
15 years 11 months ago
1999
ACM
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Logic duplication, a commonly used synthesis technique to remove trapped inverters in reconvergent paths of Domino circuits, incurs high area and power penalties. In this paper, w...
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
85
Voted
DATE
2000
IEEE
15 years 3 months ago
2000
IEEE
Recently a number of heuristic based system-level synthesis algorithms have been proposed. Though these algorithms quickly generate good solutions, how close these solutions are t...