Sciweavers

1208 search results - page 100 / 242
» On Counting Generalized Colorings
Sort
View
CC
2009
Springer
153views System Software» more  CC 2009»
14 years 9 months ago
Register Spilling and Live-Range Splitting for SSA-Form Programs
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
Matthias Braun, Sebastian Hack
SIGMOD
2004
ACM
120views Database» more  SIGMOD 2004»
14 years 9 months ago
Toward an ontology-enhanced information filtering agent
Whereas search engines assist users in locating initial information sources, often an overwhelmingly large number of ULRs is returned, and the task of browsing websites rests heavi...
Kwang Mong Sim
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
14 years 6 months ago
Boolean factoring and decomposition of logic networks
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
Alan Mishchenko, Robert K. Brayton, Satrajit Chatt...
ICCAD
2002
IEEE
103views Hardware» more  ICCAD 2002»
14 years 6 months ago
A technology-independent CAD tool for ESD protection device extraction: ESDExtractor
The challenges for developing an ESD (Electro-static Discharge) layout extractor originate from unconventional layout patterns of ESD protection devices, parasitic ESD device extr...
Rouying Zhan, Haigang Feng, Qiong Wu, Guang Chen, ...
SAC
2009
ACM
14 years 4 months ago
Body-and-cad geometric constraint systems
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
Kirk Haller, Audrey Lee-St. John, Meera Sitharam, ...