894 search results - page 141 / 179 » Optimizations for LTL Synthesis |
ICCD
2001
IEEE
15 years 8 months ago
2001
IEEE
The formiila-based I<,JJ model is a figiire of merit for the inductive coirpling, and has been used to solve the simrrltaneoris shield insertion and net ordering (SINO) and sim...
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
— This paper presents two contributions. The first is an incremental placement algorithm for placement-aware logic synthesis along with a proof of optimality. The algorithm can ...
103
click to vote
LCTRTS
2010
Springer
15 years 5 months ago
2010
Springer
Over the past decade, system architectures have started on a clear trend towards increased parallelism and heterogeneity, often resulting in speedups of 10x to 100x. Despite numer...
IEEEPACT
2009
IEEE
15 years 5 months ago
2009
IEEE
Parallel programming is a requirement in the multi-core era. One of the most promising techniques to make parallel programming available for the general users is the use of parall...