2000 search results - page 205 / 400 » Program Transformation and Proof Transformation |
133
Voted
ASPLOS
1994
ACM
15 years 8 months ago
1994
ACM
Several researchers have proposed algorithms for basic block reordering. We call these branch alignment algorithms. The primary emphasis of these algorithms has been on improving ...
101
Voted
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
132
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
The performance benefits of GPU parallelism can be enormous, but unlocking this performance potential is challenging. The applicability and performance of GPU parallelizations is...
137
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We propose modeling images and related visual objects as bags of pixels or sets of vectors. For instance, gray scale images are modeled as a collection or bag of (X, Y, I) pixel v...
127
click to vote
FPGA
2010
ACM
16 years 27 days ago
2010
ACM
d hardware design from behavior-level abstraction has drawn wide interest in FPGA-based acceleration and configurable computing research field. However, for many high-level progra...