7280 search results - page 14 / 1456 » Optimization Techniques |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
ISCAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Motion-threading is a novel technique that can efficiently incorporate motion information into the 3D wavelet video coding. By utilizing shape adaptive wavelet transform along wit...
ISLPED
2006
ACM
14 years 2 months ago
2006
ACM
This paper addresses the problem of low-power fanout optimization. We show that due to neglecting short-circuit current, previous analytical techniques proposed to optimize the ar...
PREMI
2005
Springer
14 years 1 months ago
2005
Springer
This paper provides an overview of a number of techniques developed within our group to perform 3D reconstruction and image segmentation based of the application of energy minimisa...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
This paper attempts to determine the capabilities of existing Redundancy Addition and Removal (SRAR) techniques for logic optimization of sequential circuits. To this purpose, we ...