396 search results - page 22 / 80 » Generalizing Parametricity Using Information-flow |
DAC
2010
ACM
13 years 9 months ago
2010
ACM
With technology scaling down to 90nm and below, many yield-driven design and optimization methodologies have been proposed to cope with the prominent process variation and to incr...
GMP
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
Active contours are adapted to image segmentation by energy minimization. The energies often exhibit local minima, requiring regularization. Such an a priori can be expressed as a...
ENTCS
2007
13 years 9 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
VLDB
2002
ACM
13 years 9 months ago
2002
ACM
The cost of a query plan depends on many parameters, such as predicate selectivities and available memory, whose values may not be known at optimization time. Parametric query opt...