190 search results - page 30 / 38 » Improving the Held and Karp Approach with Constraint Program... |
160
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Application-specific instructions can significantly improve the performance, energy, and code size of configurable processors. A common approach used in the design of such instruc...
199
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
161
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
We consider the problem of estimating and encoding depth maps from multiple views in the context of 3D-TV with free-viewpoint rendering. We propose a novel codec based on the Rate...
160
click to vote
EUROMICRO
2004
IEEE
15 years 9 months ago
2004
IEEE
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
179
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...