193 search results - page 27 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
151
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...
217
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
This paper presents a principled framework for efficient processing of ad-hoc top-k (ranking) aggregate queries, which provide the k groups with the highest aggregates as results....
121
Voted
BMVC
2010
15 years 1 months ago
2010
This paper studies image segmentation based on the minimum description length (MDL) functional combining spatial regularization with a penality for the number of distinct segments...
141
Voted
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
132
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...