2607 search results - page 204 / 522 » Complete Functional Synthesis |
138
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We propose a principled approach to summarization of visual data (images or video) based on optimization of a well-defined similarity measure. The problem we consider is re-target...
124
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Metal-only ECO realizes the last-minute design changes by revising the photomasks of metal layers only. This task is challenging because the pre-injected spare cells are limited b...
148
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
203
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
245
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...