6020 search results - page 1045 / 1204 » A New Approach to Model Counting |
163
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
We propose to use node mobility to enhance routing capability in a mobile network. A dual-control planes model is presented, which includes the traditional S(stationary)-plane for ...
142
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
174
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
To obtain correlated and complementary information contained in text mining and bibliometrics, hybrid clustering to incorporate textual content and citation information has become...
191
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Circuit activity is a function of input patterns. When circuit activity changes abruptly, it can cause sudden drop or rise in power supply voltage. This change is known as power d...
185
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a new methodology for system-level power and performance analysis of wireless multimedia systems. More precisely, we introduce an analytical approach based on ...