92 search results - page 17 / 19 » Reducing BDD Size by Exploiting Structural Connectivity |
GLVLSI
2007
IEEE
14 years 9 days ago
2007
IEEE
We propose an interconnect reorganization algorithm for reduction stages in parallel multipliers. It aims at minimizing power consumption for given static probabilities at the pri...
NDSS
2005
IEEE
13 years 11 months ago
2005
IEEE
As national infrastructure becomes intertwined with emerging global data networks, the stability and integrity of the two have become synonymous. This connection, while necessary,...
ICCD
2006
IEEE
14 years 2 months ago
2006
IEEE
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
BMCBI
2010
13 years 6 months ago
2010
Background: Many molecules are flexible and undergo significant shape deformation as part of their function, and yet most existing molecular shape comparison (MSC) methods treat t...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
Combinational circuits are generally thought of as acyclic structures. It is known that cyclic structures can be combinational, and techniques have been proposed to analyze cyclic...