2861 search results - page 439 / 573 » Constraint Programming |
145
click to vote
ISSS
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
100
click to vote
BMVC
2001
15 years 4 months ago
2001
This paper extends 2D Active Shape Models to 2D+time by presenting a method for modelling and segmenting spatio-temporal shapes (ST-shapes). The modelling part consists of constru...
120
Voted
GLVLSI
2010
IEEE
15 years 4 months ago
2010
IEEE
For timing-driven or yield-driven designs, non-tree routing has become more and more popular and additional loops provide the redundant paths to protect against the effect of the ...
120
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
130
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...