2834 search results - page 200 / 567 » Representing Trees with Constraints |
105
Voted
ICCAD
2010
IEEE
14 years 10 months ago
2010
IEEE
Clock network construction is one key problem in high performance VLSI design. Reducing the clock skew variation is one of the most important objectives during clock network synthe...
107
click to vote
AAIM
2009
Springer
15 years 7 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
BMVC
2000
15 years 2 months ago
2000
We consider the problem of representing sets of 3D points in the context of 3D reconstruction from point matches. We present a new representation for sets of 3D points, which is g...
89
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Process variation has become a critical problem in modern VLSI fabrication. In the presence of process variation, buffer insertion problem under performance constraints becomes mo...