9931 search results - page 1674 / 1987 » Generative Modeling by PRISM |
141
click to vote
ASPDAC
2006
ACM
16 years 17 hour ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
178
click to vote
ISLPED
2006
ACM
16 years 6 hour ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
126
click to vote
ISSTA
2006
ACM
16 years 5 hour ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
146
click to vote
JCDL
2006
ACM
16 years 4 hour ago
2006
ACM
We describe an HTML web page segmentation algorithm, which is applied to segment online medical journal articles (regular HTML and PDF-Converted-HTML files). The web page content ...
199
click to vote
MINENET
2006
ACM
16 years 4 hour ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...