674 search results - page 116 / 135 » Explanation Based Program Transformation |
118
click to vote
ICALP
1993
Springer
15 years 3 months ago
1993
Springer
The divide-and-conquer principle is a majoi paradigm of algorithms design. Corresponding cost functions satisfy recurrences that directly reflect the decomposition mechanism used i...
107
click to vote
SIGMOD
1999
ACM
15 years 4 months ago
1999
ACM
Traditional approaches for content-based image querying typically compute a single signature for each image based on color histograms, texture, wavelet transforms etc., and return...
AUTOMATICA
2005
14 years 11 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
107
click to vote
ISLPED
2006
ACM
15 years 5 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...