14518 search results - page 2683 / 2904 » Two Problems for Sophistication |
139
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Enumeration of bounded size cuts is an important step in several logic synthesis algorithms such as technology mapping and re-writing. The standard algorithm does not scale beyond...
128
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— We present in this paper a new interconnect-driven multilevel floorplanning, called IMF, to handle large-scale building-module designs. Unlike the traditional multilev...
136
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
9, IO]. However, unlike the case with static timing, it is not so easy We show how recent advances in the handling of correlated interval representations of range uncertainty can b...
151
click to vote
SOSP
2007
ACM
16 years 29 days ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
148
click to vote
PEPM
2009
ACM
16 years 29 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...